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

Abstract

A structure M is pregeometric if the algebraic closure is a pregeometry in all M' elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of omega and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of structures expanding a field and with an existential matroid, and we show that the corresponding theories have natural completions, whose models also have a unique existential matroid. We extend the above result to dense tuples of structures.

Version 2.8. 61 pages

References in corpus (1)

• Tame structures and open cores

Cited by in corpus (6)

• Generic derivations on o-minimal structures
• Generic derivations on algebraically bounded structures
• A weak version of the Strong Exponential Closure
• Definable sets up to definable bijections in Presburger groups
• A dichotomy for $T$-convex fields with a monomial group
• Dimension and topology in transserial tame pairs