Theories without the tree property of the second kind
From MaRDI portal
(Redirected from Publication:386642)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3769606 (Why is no real title available?)
- scientific article; zbMATH DE number 1405573 (Why is no real title available?)
- A monotonicity theorem for dp-minimal densely ordered groups
- Additivity of the dp-rank
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- Classification theory and the number of non-isomorphic models.
- Coordinatisation and canonical bases in simple theories
- Definable groups for dependent and 2-dependent theories
- Dependent first order theories, continued
- Dp-minimality: basic facts and examples
- Externally definable sets and dependent pairs
- Forking and dividing in NTP\(_{2}\) theories
- Generic structures and simple theories
- Hypergraph sequences as a tool for saturation of ultrapowers
- Notions around tree property 1
- On NIP and invariant measures
- On dp-minimal ordered structures
- On dp-minimality, strong dependence and weight
- On non-forking spectra
- On the number of independent partitions
- On theories of random variables
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Shorter Notes: On the Undecidability of Power Series Fields
- Simple unstable theories
- Simplicity and stability in there
- Simplicity simplified
- Stable domination and independence in algebraically closed valued fields
- Strongly dependent theories
- The Theory of Ordered Abelian Groups does not have the Independence Property
- Toward classifying unstable theories
- Uniform p-adic cell decomposition and local zeta functions.
- Witnessing dp-rank
Cited in
(46)- A preservation theorem for theories without the tree property of the first kind
- Witnessing dp-rank
- Invariants related to the tree property
- 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₁
- 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
- Stable forking and imaginaries
- THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
- Criteria for exact saturation and singular compactness
- Henselian valued fields and inp-minimality
- On Kim-independence
- Non-forking and preservation of NIP and dp-rank
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- Burden in Henselian valued fields
- 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
- On amalgamation in NTP\(_2\) theories and generically simple generics
- 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
- Model theory of Steiner triple systems
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- On the antichain tree property
- Ordered asymptotic classes of finite structures
- Dividing and forking in random hypergraphs
- 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
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)
