H Adler, E Casanovas, A Pillay - The Journal of Symbolic Logic, 2014 - cambridge.org
We prove two results about generically stable types p in arbitrary theories. The first, on existence of strong germs, generalizes results from [2] on stably dominated types. The …
Abstract notions of “smallness” are among the most important tools that model theory offers for the analysis of arbitrary structures. The two most useful notions of this kind are forking …
P Simon - Journal of the European Mathematical Society, 2019 - ems.press
A first order theory is NIP if all definable families of subsets have finite VC-dimension. We provide a justification for the intuition that NIP structures should be a combination of stable …
PA Estevan, I Kaplan - Annals of Pure and Applied Logic, 2021 - Elsevier
We investigate the question of whether the restriction of an NIP type p∈ S (B) which does not fork over A⊆ B to A is also NIP, and the analogous question for dp-rank. We show that if …
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and …
B Castle - arXiv preprint arXiv:2406.09285, 2024 - arxiv.org
We prove the higher dimensional case of the o-minimal variant of Zilber's Restricted Trichotomy Conjecture. More precisely, let $\mathcal R $ be an o-minimal expansion of a …
Since Shelah's notions of order property and stability was first introduced, most of the study in this area has been centered around understanding the classification and the geometric …