Properties and consequences of Thorn-independence
From MaRDI portal
Publication:5477621
DOI10.2178/jsl/1140641160zbMath1103.03036arXivmath/0205004OpenAlexW2090810588MaRDI QIDQ5477621
Publication date: 5 July 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0205004
Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Model theory of ordered structures; o-minimality (03C64)
Related Items
Expansions of o-minimal structures by dense independent sets ⋮ On dp-minimality, strong dependence and weight ⋮ On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry ⋮ Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\) ⋮ Weak one-basedness ⋮ Definable one dimensional structures in o-minimal theories ⋮ Super/rosy \(L^k\)-theories and classes of finite structures ⋮ Consistent amalgamation for þ-forking ⋮ NIP ω$\omega$‐categorical structures: The rank 1 case ⋮ Division rings with ranks ⋮ Superrosiness and dense pairs of geometric structures ⋮ THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS ⋮ On lovely pairs of geometric structures ⋮ Thorn-forking in continuous logic ⋮ Expansions which introduce no new open sets ⋮ Strongly dependent theories ⋮ Structures having o-minimal open core ⋮ Superrosy fields and valuations ⋮ Thorn independence in the field of real numbers with a small multiplicative group ⋮ The independence property in generalized dense pairs of structures ⋮ Stable embeddedness and NIP ⋮ Superrosy dependent groups having finitely satisfiable generics ⋮ Schlanke Körper (Slim fields) ⋮ Generic stability, forking, and þ-forking ⋮ Characterizing rosy theories ⋮ A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING ⋮ THORN-FORKING AS LOCAL FORKING ⋮ Unstable structures definable in o-minimal theories ⋮ ON LINEARLY ORDERED STRUCTURES OF FINITE RANK ⋮ Fields interpretable in superrosy groups with NIP (the non-solvable case) ⋮ Fields interpretable in rosy theories ⋮ Stable types in rosy theories ⋮ Ordered asymptotic classes of finite structures ⋮ Independence in Model Theory ⋮ Independence in randomizations ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION ⋮ Some remarks on CM-triviality ⋮ Residue field domination in real closed valued fields
Cites Work
