On model-theoretic tree properties
From MaRDI portal
Publication:2951900
DOI10.1142/S0219061316500094zbMath1402.03043arXiv1505.00454OpenAlexW2963688969MaRDI QIDQ2951900
Nicholas Ramsey, Artem Chernikov
Publication date: 10 January 2017
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1505.00454
\(\mathrm{TP}_2\)tree properties\(\mathrm{NSOP}_1\)tree indiscernibles\(\mathrm{TP}_1\)independent amalgamation
Trees (05C05) Generalized Ramsey theory (05C55) Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65)
Related Items (35)
Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories ⋮ Model theory: groups, geometries and combinatorics. Abstracts from the workshop held January 12--18, 2020 ⋮ On Kim-independence ⋮ Unnamed Item ⋮ Mekler's construction and generalized stability ⋮ Exact saturation in pseudo-elementary classes for simple and stable theories ⋮ On the antichain tree property ⋮ Generic expansion of an abelian variety by a subgroup ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ Co-theory of sorted profinite groups for PAC structures ⋮ \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property ⋮ Recursive functions and existentially closed structures ⋮ Model theory of Steiner triple systems ⋮ Bilinear spaces over a fixed field are simple unstable ⋮ Universality: new criterion for non-existence ⋮ On the number of independent orders ⋮ Local character of Kim-independence ⋮ Invariants related to the tree property ⋮ Transitivity of Kim-independence ⋮ A NOTE ON NSOP1 IN ONE VARIABLE ⋮ More on tree properties ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Generic expansions by a reduct ⋮ Generic variations and NTP\(_1\) ⋮ Remarks on generic stability in independent theories ⋮ Existentially closed exponential fields ⋮ ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP1 THEORY WITHOUT WEIGHT ω ⋮ Criteria for exact saturation and singular compactness ⋮ Amalgamation of types in pseudo-algebraically closed fields and applications ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Nondefinability of rings of integers in most algebraic fields ⋮ Onn-dependent groups and fields II ⋮ Quantifier elimination on some pseudo-algebraically closed valued fields
Cites Work
This page was built for publication: On model-theoretic tree properties
