Related papers: On amalgamation in NTP2 theories and generically s…

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…

In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use…

We compare Fornasiero and Terzo's framework of generic derivations on algebraically bounded structures with Le\'on S\'anchez and Tressl's differentially large fields. We show in the case of a single derivation that genericity and…

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

Let $T$ be a complete, superstable theory with fewer than $2^{\aleph_{0}}$ countable models. Assuming that generic types of infinite, simple groups definable in $T^{eq}$ are sufficiently non-isolated we prove that $\omega^{\omega}$ is the…

We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of…

We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

In this paper we study the Lascar group over a hyperimaginary e. We verify that various results about the group over a real set still hold when the set is replaced by e. First of all, there is no written proof in the available literature…

We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fra\"{i}ss\'{e} limits of Fra\"{i}ss\'{e} classes satisfying…

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…

We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many prominent examples of countable structures…

Here we have investigated some aspects of $s\lambda$-closed sets on separation axioms including $s T_{2\frac{1}{2}} $ and $s T_{3\frac{1}{2}} $ axioms and on compactness in generalized topological spaces

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 construct $N$-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ which generalize the usual complex $(N=2)$ of differential forms. Although, for $N\geq 3$, the generalized cohomology of these…

We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has…

We study relativized Lascar groups, which are formed by relativizing Lascar groups to the solution set of a partial type $\Sigma$. We introduce the notion of a Lascar tuple for $\Sigma$ and by considering the space of types over a Lascar…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure,…