An independence theorem for NTP₂ theories
From MaRDI portal
Publication:2921023
Abstract: 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 condition over extension bases (namely, the forking ideal is S1, in Hrushovski's terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory -- a generalization of Poizat's fundamental order from stable theories -- and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.
Recommendations
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- On a classification of theories without the independence property
- Theories with the independence property
- Dependent theories and the generic pair conjecture
- On freedom and independence in hypergraphs of models of theories
- Independence results for uncountable superstable theories
- Independently axiomatizable \(\mathcal L_{\omega _{1},\omega}\) theories
- Inseparability and strong hypotheses for disjoint NP pairs
- Inseparability and strong hypotheses for disjoint NP pairs
- AN INDEPENDENCE THEOREM AND ITS CONSEQUENCES
Cites work
- A primer of simple theories
- Additivity of the dp-rank
- Counting partial types in simple theories
- Dependent first order theories, continued
- Dividing and chain conditions
- Galois groups of first order theories
- Lovely pairs of models
- On NIP and invariant measures
- On non-forking spectra
- Simple unstable theories
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Strongly dependent theories
- Thorn-forking as local forking
- Zariski geometries
Cited in
(21)- Dividing and chain conditions
- Existentially closed exponential fields
- On Kim-independence
- Hereditary G-compactness
- Mekler's construction and generalized stability
- Non-forking and preservation of NIP and dp-rank
- Dense codense predicates and the \(\mathrm{NTP}_{2}\)
- Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- Theories without the tree property of the second kind
- Forking and dividing in fields with several orderings and valuations
- Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
- Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles
- Strict independence
- Forking in short and tame abstract elementary classes
- Forking and dividing in NTP\(_{2}\) theories
- Generic expansions of geometric theories
- NSOP1 as a dividing line
- Conant-independence and generalized free amalgamation
- On \(\mathrm{NSOP}_2\) theories
- On amalgamation in NTP\(_2\) theories and generically simple generics
This page was built for publication: An independence theorem for \(\mathrm{NTP}_{2}\) theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921023)
