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

DOI10.1016/J.APAL.2011.01.003MaRDI QIDQ639660zbMATH OpenOpenAlexFDO

Authors A. 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

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)

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.

Recommendations

• scientific article; zbMATH DE number 1187511
• The independence property in generalized dense pairs of structures
• Expansions of o-minimal structures by dense independent sets
• scientific article; zbMATH DE number 7145391
• Geometric structures with a dense independent subset

Cites work

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

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
• On coincidence of dimensions in closed ordered differential fields
• 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
• 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)