Theories without the tree property of the second kind
From MaRDI portal
Publication:386642
DOI10.1016/j.apal.2013.10.002zbMath1386.03035arXiv1204.0832WikidataQ114695861 ScholiaQ114695861MaRDI QIDQ386642
Publication date: 10 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.0832
03C60: Model-theoretic algebra
03C45: Classification theory, stability, and related concepts in model theory
03C20: Ultraproducts and related constructions
12L12: Model theory of fields
12J10: Valued fields
Related Items
A NOTE ON NSOP1 IN ONE VARIABLE, THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE, Forking and dividing in fields with several orderings and valuations, Distality in valued fields and related structures, A preservation theorem for theories without the tree property of the first kind, Model theory of Steiner triple systems, HENSELIAN VALUED FIELDS AND inp-MINIMALITY, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, Model Theory in Algebra, Analysis and Arithmetic: A Preface, Groups and fields with $\operatorname {NTP}_{2}$, On the antichain tree property, Burden in Henselian valued fields, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Topological properties of definable sets in ordered Abelian groups of burden 2, Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\), Valued difference fields and \(\mathrm{NTP}_2\), On non-forking spectra, Neostability in countable homogeneous metric spaces, Model theory of finite and pseudofinite groups, Witnessing dp-rank, On amalgamation in NTP\(_2\) theories and generically simple generics, Stable forking and imaginaries, Definability of types and VC density in differential topological fields, Generic variations and NTP\(_1\), Existentially closed exponential fields, Criteria for exact saturation and singular compactness, Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories, Burden of Henselian valued fields in the Denef-Pas language, On Kim-independence, On \(\omega \)-categorical groups and rings of finite burden, On the number of independent orders, Invariants related to the tree property, Generalised stability of ultraproducts of finite residue rings, Definable valuations induced by multiplicative subgroups and NIP fields, Ordered asymptotic classes of finite structures, Mekler's construction and generalized stability, Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories, Non-forking and preservation of NIP and dp-rank, Dense codense predicates and the NTP2, Some Remarks on dp-Minimal Groups, More on tree properties
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Strongly dependent theories
- On non-forking spectra
- On NIP and invariant measures
- Notions around tree property 1
- Dp-minimality: basic facts and examples
- Witnessing dp-rank
- Classification theory and the number of non-isomorphic models.
- Generic structures and simple theories
- Toward classifying unstable theories
- Externally definable sets and dependent pairs
- On theories of random variables
- Dependent first order theories, continued
- Simplicity, and stability in there
- Additivity of the dp-rank
- AN INDEPENDENCE THEOREM FOR NTP2 THEORIES
- On dp-minimal ordered structures
- On dp-minimality, strong dependence and weight
- On the number of independent partitions
- Uniform p-adic cell decomposition and local zeta functions.
- Simple unstable theories
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- The Theory of Ordered Abelian Groups does not have the Independence Property
- Coordinatisation and canonical bases in simple theories
- A monotonicity theorem for dp-minimal densely ordered groups
- Forking and Dividing in NTP2 theories
- Hypergraph sequences as a tool for saturation of ultrapowers
- Shorter Notes: On the Undecidability of Power Series Fields
