On model-theoretic tree properties
From MaRDI portal
Publication:2951900
Abstract: We study model theoretic tree properties () and their associated cardinal invariants (, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem () for countable theories, show that is always witnessed by a formula in a single variable (partially answering a question of Shelah) and that weak is equivalent to (answering a question of Kim and Kim). Besides, we give a characterization of via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed .
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
Cites work
Cited in
(49)- Recursive functions and existentially closed structures
- FORKING, IMAGINARIES, AND OTHER FEATURES OF
- Criteria for exact saturation and singular compactness
- Independence in generic incidence structures
- Generic expansions by a reduct
- Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
- Quantifier elimination on some pseudo-algebraically closed valued fields
- First-order theories of bounded trees
- Generic expansion of an abelian variety by a subgroup
- Theories without the tree property of the second kind
- Tameness in least fixed-point logic and McColm's conjecture
- Mekler's construction and generalized stability
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- On Kim-independence
- Local character of Kim-independence
- A note on \(\mathrm{NSOP}_1\) in one variable
- On the number of independent orders
- Co-theory of sorted profinite groups for PAC structures
- Tree indiscernibilities, revisited
- \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property
- On the number of countable models of a countable NSOP\(_1\) theory without weight \(\omega\)
- On the antichain tree property
- scientific article; zbMATH DE number 4187786 (Why is no real title available?)
- Universality: new criterion for non-existence
- More on tree properties
- Transitivity of Kim-independence
- Exact saturation in pseudo-elementary classes for simple and stable theories
- Amalgamation of types in pseudo-algebraically closed fields and applications
- TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
- On algebraically closed fields with a distinguished subfield
- Generic variations and NTP\(_1\)
- A new Kim's lemma
- Onn-dependent groups and fields II
- Model-theoretic properties of nilpotent groups and Lie algebras
- Cardinality Quantifiers in MLO over Trees
- Nondefinability of rings of integers in most algebraic fields
- Bilinear spaces over a fixed field are simple unstable
- A variety theorem for trees and theories
- Model theory: groups, geometries and combinatorics. Abstracts from the workshop held January 12--18, 2020
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- Metalinear recursive schemas on marked trees
- Representing models by finite trees
- A preservation theorem for theories without the tree property of the first kind
- Galois groups of large simple fields
- Remarks on generic stability in independent theories
- Invariants related to the tree property
- Model theory of Steiner triple systems
- Existentially closed exponential fields
- scientific article; zbMATH DE number 1534574 (Why is no real title available?)
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)
