On model-theoretic tree properties

DOI10.1142/S0219061316500094zbMATH Open1402.03043arXiv1505.00454OpenAlexW2963688969MaRDI QIDQ2951900FDOQ2951900

Authors: Artem Chernikov, Nicholas Ramsey 

Publication date: 10 January 2017

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: We study model theoretic tree properties ($extTP,ext{TP}_1,ext{TP}_2$) and their associated cardinal invariants ($kapp{a}_{extcdt},kapp{a}_{extsct},kapp{a}_{extinp}$, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem ($extTPRightarrowext{TP}_{1}lorext{TP}_2$) for countable theories, show that $ext{TP}_1$ is always witnessed by a formula in a single variable (partially answering a question of Shelah) and that weak $k-ext{TP}_1$ is equivalent to $ext{TP}_1$ (answering a question of Kim and Kim). Besides, we give a characterization of $ext{NSOP}_1$ via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed $ext{NSOP}_1$.

Full work available at URL: https://arxiv.org/abs/1505.00454

Recommendations

• Model complete theories of trees
• Some model theory for generalized trees
• Model theory of \(\mathbb{R}\)-trees
• Functional trees and automorphisms of models
• Tree-like constructions in topology and modal logic
• Multitrees, model completeness, and decidability
• A first-order axiomatization of the theory of finite trees
• scientific article; zbMATH DE number 1678388
• First-order theories of bounded trees
• scientific article; zbMATH DE number 4035798

zbMATH Keywords

\(\mathrm{TP}_2\)tree properties\(\mathrm{NSOP}_1\)tree indiscernibles\(\mathrm{TP}_1\)independent amalgamation

Mathematics Subject Classification ID

Trees (05C05) Classification theory, stability, and related concepts in model theory (03C45) Generalized Ramsey theory (05C55) Models of other mathematical theories (03C65)

Cites Work

• Title not available (Why is that?)
• Simple theories and hyperimaginaries
• Title not available (Why is that?)
• Gropes and the rational lift of the Kontsevich integral

Cited In (49)

• Invariants related to the tree property
• Independence in generic incidence structures
• Mekler's construction and generalized stability
• Title not available (Why is that?)
• Model theory: groups, geometries and combinatorics. Abstracts from the workshop held January 12--18, 2020
• Existentially closed exponential fields
• \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property
• Transitivity of Kim-independence
• Cardinality Quantifiers in MLO over Trees
• On the number of countable models of a countable NSOP\(_1\) theory without weight \(\omega\)
• Quantifier elimination on some pseudo-algebraically closed valued fields
• Local character of Kim-independence
• Exact saturation in pseudo-elementary classes for simple and stable theories
• Remarks on generic stability in independent theories
• Co-theory of sorted profinite groups for PAC structures
• More on tree properties
• Onn-dependent groups and fields II
• A new Kim's lemma
• FORKING, IMAGINARIES, AND OTHER FEATURES OF
• Generic expansions by a reduct
• Amalgamation of types in pseudo-algebraically closed fields and applications
• Generic variations and NTP\(_1\)
• Title not available (Why is that?)
• Tree indiscernibilities, revisited
• Representing models by finite trees
• Recursive functions and existentially closed structures
• Criteria for exact saturation and singular compactness
• Tameness in least fixed-point logic and McColm's conjecture
• On algebraically closed fields with a distinguished subfield
• On Kim-independence
• Galois groups of large simple fields
• Theories without the tree property of the second kind
• Model-theoretic properties of nilpotent groups and Lie algebras
• Generic expansion of an abelian variety by a subgroup
• A note on \(\mathrm{NSOP}_1\) in one variable
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• A variety theorem for trees and theories
• Model theory of Steiner triple systems
• First-order theories of bounded trees
• On the antichain tree property
• TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• On the number of independent orders
• Nondefinability of rings of integers in most algebraic fields
• Metalinear recursive schemas on marked trees
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• Bilinear spaces over a fixed field are simple unstable
• Universality: new criterion for non-existence
• A preservation theorem for theories without the tree property of the first kind

This page was built for publication: On model-theoretic tree properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2951900)