Definably complete Baire structures

DOI10.4064/FM209-3-2MaRDI QIDQ3066707zbMATH OpenOpenAlexFDO

Authors A. Fornasiero, Tamara Servi

Publication date 11 January 2011

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/fm209-3-2

zbMATH Keywords

Baire spacesdefinably complete structureso-minimalityPfaffian functions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Baire category, Baire spaces (54E52)

Recommendations

• An analogue of the Baire category theorem
• Relative Pfaffian closure for definably complete Baire structures
• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• Expansions of subfields of the real field by a discrete set
• Theorems of the complement

Cited in

(15)

• A fundamental dichotomy for definably complete expansions of ordered fields
• On the decidability of the real field with a generic power function
• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• Relative Pfaffian closure for definably complete Baire structures
• Theorems of the complement
• An analogue of the Baire category theorem
• Models of true arithmetic are integer parts of models of real exponentation
• Value groups and residue fields of models of real exponentiation
• Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind
• LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
• Definably complete structures are not pseudo-enumerable
• Dimensions, matroids, and dense pairs of first-order structures
• Constructible structures and constructible open cores
• Model theory and arithmetic. Abstracts from the workshop held January 18--23, 2026
• Dimension and topology in transserial tame pairs

This page was built for publication: Definably complete Baire structures

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