Dimensions, matroids, and dense pairs of first-order structures
From MaRDI portal
Publication:639660
DOI10.1016/j.apal.2011.01.003zbMath1233.03037arXiv0907.4237MaRDI QIDQ639660
Publication date: 22 September 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0907.4237
03C45: Classification theory, stability, and related concepts in model theory
03C64: Model theory of ordered structures; o-minimality
Related Items
Definable sets up to definable bijections in Presburger groups, Definably complete structures are not pseudo-enumerable, The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two, Geometric structures with a dense independent subset, Generic trivializations of geometric theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On lovely pairs of geometric structures
- Dimension of definable sets, algebraic boundedness and Henselian fields
- The field of reals with a predicate for the powers of two
- The model theory of differential fields revisited
- Groups definable in local fields and pseudo-finite fields
- Lovely pairs of models
- Stability in geometric theories
- Complete theories of algebraically closed fields with distinguished subfields
- The independence property in generalized dense pairs of structures
- Paires de structures stables
- Definably complete Baire structures
- Structures having o-minimal open core
- First order topological structures and theories
- Des belles paires aux beaux uples
- Weak forms of elimination of imaginaries
- Expansions which introduce no new open sets
- Characterizing rosy theories
- Solution of a problem of Tarski