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

DOI10.1016/J.APAL.2011.01.003zbMATH Open1233.03037arXiv0907.4237OpenAlexW2136685213MaRDI QIDQ639660FDOQ639660

A. Fornasiero

Publication date: 22 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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.

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

zbMATH Keywords

pregeometrymatroidgeometric structuredense pairlovely pair

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizing rosy theories
• The independence property in generalized dense pairs of structures
• Structures having o-minimal open core
• First order topological structures and theories
• On lovely pairs of geometric structures
• Definably complete Baire structures
• Groups definable in local fields and pseudo-finite fields
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Lovely pairs of models
• Weak forms of elimination of imaginaries
• Paires de structures stables
• Des belles paires aux beaux uples
• Solution of a problem of Tarski
• Stability in geometric theories
• The field of reals with a predicate for the powers of two
• The model theory of differential fields revisited
• Complete theories of algebraically closed fields with distinguished subfields
• Expansions which introduce no new open sets

Cited In (13)

• A dichotomy for \(T\)-convex fields with a monomial group
• Topological fields with a generic derivation
• Supersimple structures with a dense independent subset
• On lovely pairs of geometric structures
• Geometric structures with a dense independent subset
• Definable sets up to definable bijections in Presburger groups
• The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
• A weak version of the strong exponential closure
• Definably complete structures are not pseudo-enumerable
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Generic derivations on o-minimal structures
• On coincidence of dimensions in closed ordered differential fields
• Generic trivializations of geometric theories

This page was built for publication: Dimensions, matroids, and dense pairs of first-order structures

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