Related papers: On Kim-Independence
We introduce and study simple and supersimple independence relations in the context of AECs with a monster model. $Theorem$: Let $K$ be an AEC with a monster model. - If $K$ has a simple independence relation, then $K$ does not have the…
We introduce and study semi-equational and weakly semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong…
The history of general relativity suggests that in absence of experimental data, constructing a theory on philosophical first principles can lead to a very useful theory as well as to ground-breaking insights about physical reality. The two…
We review a recent generalization of Normal Form Theory to systems (Hamiltonian ones or general ODEs) where the perturbing term is not periodic in one coordinate variable. The main difference with the standard case relies on the non…
We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible…
First, we point out that the present applied superposition principle is linear, it must be developed into a generality. Next, the linear operators and equations should be developed nonlinearly. They will include nonlinear Klein-Gordon…
In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
We characterize model theoretic properties of the Urysohn sphere as a metric structure in continuous logic. In particular, our first main result shows that the theory of the Urysohn sphere is $\text{SOP}_n$ for all $n\geq 3$, but does not…
Quantum field theories with quenched disorder are so hard to study that even exactly solvable free theories present puzzling aspects. We consider a free scalar field $\phi$ in $d$ dimensions coupled to a random source $h$ with quenched…
The representation of independence relations generally builds upon the well-known semigraphoid axioms of independence. Recently, a representation has been proposed that captures a set of dominant statements of an independence relation from…
Local consistency arises in diverse areas, including Bayesian statistics, relational databases, and quantum foundations, and so does the notion of functional dependence. We adopt a general approach to study logical inference in a setting…
Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively…
Work in progress is described which aims to construct a background independent formulation of M theory by extending results about background independent states and observables from quantum general relativity and supergravity to string…
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we…
We extend the theory of d-separation to cases in which data instances are not independent and identically distributed. We show that applying the rules of d-separation directly to the structure of probabilistic models of relational data…
We study Keisler measures in strongly n-distal NIP theories, generalizing some results of Simon and Chernikov-Starchenko for distal theories and addressing some questions of Walker. In particular, we establish a hypergraph version of the…
We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.