Related papers: On the properties $\mathrm{SOP}_{2^{n+1}+1}$
Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$,…
Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the…
We consider perturbations of a static and spherically symmetric background endowed with a metric tensor and a scalar field in the framework of the effective field theory of modified gravity. We employ the previously developed 2+1+1…
We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also…
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on…
Let $\Om$ be a Borel subset of $S^\Bbb N$ where $S$ is countable. A measure is called exchangeable on $\Om$, if it is supported on $\Om$ and is invariant under every Borel automorphism of $\Om$ which permutes at most finitely many…
The Lieb-Schultz-Mattis theorem and its higher dimensional generalizations by Oshikawa and Hastings require that translationally invariant 2D spin systems with a half-integer spin per unit cell must either have a continuum of low energy…
We construct several new spaces of quantum sequences and their quantum families of maps in sense of So{\l}tan. Then, we introduce noncommutative distributional symmetries associated with these quantum maps and study simple relations between…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
We study effective dynamics of the non-supersymmetric two-dimensional $\mathbb{CP}(N-1)$ model in the large $N$ limit. This model is deformed by a mass term $m$ preserving $\mathbb{Z}_N$ symmetry of the Lagrangian. At small $m$ the theory…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an…
We consider shifts of a set $A\subseteq\mathbb{N}$ by elements from another set $B\subseteq\mathbb{N}$, and prove intersection properties according to the relative asymptotic size of $A$ and $B$. A consequence of our main theorem is the…
We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that…
We observe that the definition of Shelah's classical $\mathrm{NSOP}_{n}$ hierarchy for first-order theories, for integers $n \geq 3$, can be restated so that it extends to the case where $n$ is replaced with any real number $r \geq 3$.…
Given a quantum system consisting of many parts, we show that symmetry of the system's state, i.e., invariance under swappings of the subsystems, implies that almost all of its parts are virtually identical and independent of each other.…
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…
It was recently established that the paradigmatic Gross--Neveu model with $N$ copies of two-dimensional Dirac fermions features an $\mathrm{SO}(2N)$ symmetry if certain interactions are suppressed. This becomes evident when the theory is…
Non-invertible one-form symmetries are naturally realized in (2+1)d topological quantum field theories. In this work, we consider the potential realization of such symmetries in (2+1)d conformal field theories, investigating whether gapless…
The spherical limit of strongly commensurate dirty-bosons is studied perturbatively at weak disorder and numerically at strong disorder in two dimensions (2D). We argue that disorder is not perfectly screened by interactions, and…