Dimensions, matroids, and dense pairs of first-order structures

DOI10.1016/j.apal.2011.01.003zbMath1233.03037arXiv0907.4237MaRDI QIDQ639660

Antongiulio Fornasiero

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

zbMATH Keywords

matroid; pregeometry; geometric structure; dense pair; lovely pair

Mathematics Subject Classification ID

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, Supersimple structures with a dense independent subset, Generic derivations on o-minimal structures, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, 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, On coincidence of dimensions in closed ordered differential fields, A weak version of the strong exponential closure, Topological fields with a generic derivation, 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