Theories without the tree property of the second kind
From MaRDI portal
Publication:386642
DOI10.1016/J.APAL.2013.10.002zbMATH Open1386.03035arXiv1204.0832OpenAlexW1989260992WikidataQ114695861 ScholiaQ114695861MaRDI QIDQ386642FDOQ386642
Authors: Artem Chernikov 
Publication date: 10 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Abstract: We initiate a systematic study of the class of theories without the tree property of the second kind - NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in particular, if a theory has TP2 then there is a formula with a single variable witnessing this); NTP2 is equivalent to the generalized Kim's lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters - so the dp-rank of a 1-type in any theory is always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic (0,0) is NTP2 (strong, of finite burden) if and only if the residue field is NTP2 (the residue field and the value group are strong, of finite burden respectively), so in particular any ultraproduct of p-adics is NTP2; adding a generic predicate to a geometric NTP2 theory preserves NTP2.
Full work available at URL: https://arxiv.org/abs/1204.0832
Recommendations
Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Ultraproducts and related constructions (03C20) Model theory of fields (12L12)
Cites Work
- Classification theory and the number of non-isomorphic models.
- Toward classifying unstable theories
- On theories of random variables
- Simple unstable theories
- Generic structures and simple theories
- Additivity of the dp-rank
- Dp-minimality: basic facts and examples
- Uniform p-adic cell decomposition and local zeta functions.
- Strongly dependent theories
- Stable domination and independence in algebraically closed valued fields
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- On dp-minimal ordered structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Definable groups for dependent and 2-dependent theories
- Forking and dividing in NTP\(_{2}\) theories
- Hypergraph sequences as a tool for saturation of ultrapowers
- On NIP and invariant measures
- Dependent first order theories, continued
- Simplicity and stability in there
- On dp-minimality, strong dependence and weight
- Coordinatisation and canonical bases in simple theories
- Externally definable sets and dependent pairs
- Simplicity simplified
- On the number of independent partitions
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- The Theory of Ordered Abelian Groups does not have the Independence Property
- On non-forking spectra
- A monotonicity theorem for dp-minimal densely ordered groups
- Shorter Notes: On the Undecidability of Power Series Fields
- Notions around tree property 1
- Witnessing dp-rank
Cited In (46)
- Invariants related to the tree property
- Witnessing dp-rank
- Model theory of finite and pseudofinite groups
- Mekler's construction and generalized stability
- Existentially closed exponential fields
- Burden of Henselian valued fields in the Denef-Pas language
- Some remarks on dp-minimal groups
- Dense codense predicates and the \(\mathrm{NTP}_{2}\)
- More on tree properties
- Neostability in countable homogeneous metric spaces
- Definable valuations induced by multiplicative subgroups and NIP fields
- On \(\omega \)-categorical groups and rings of finite burden
- A new Kim's lemma
- Definability of types and VC density in differential topological fields
- Generic variations and NTP\(_1\)
- Model theory in algebra, analysis and arithmetic: a preface
- Topological properties of definable sets in ordered Abelian groups of burden 2
- Generalised stability of ultraproducts of finite residue rings
- THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
- Stable forking and imaginaries
- Criteria for exact saturation and singular compactness
- Henselian valued fields and inp-minimality
- Non-forking and preservation of NIP and dp-rank
- On Kim-independence
- Burden in Henselian valued fields
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- Valued difference fields and \(\mathrm{NTP}_2\)
- Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
- A note on \(\mathrm{NSOP}_1\) in one variable
- Distality in valued fields and related structures
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- On amalgamation in NTP\(_2\) theories and generically simple generics
- Model theory of Steiner triple systems
- On the antichain tree property
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- Dividing and forking in random hypergraphs
- Ordered asymptotic classes of finite structures
- On the number of independent orders
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- Forking and dividing in NTP\(_{2}\) theories
- Groups and fields with \(\mathrm{NTP}_{2}\)
- A conjectural classification of strongly dependent fields
- Products of classes of finite structures
- Forking and dividing in fields with several orderings and valuations
- On non-forking spectra
- A preservation theorem for theories without the tree property of the first kind
This page was built for publication: Theories without the tree property of the second kind
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386642)
