An analogue of the Baire category theorem

DOI10.2178/JSL.7801140MaRDI QIDQ4916554zbMATH OpenOpenAlexFDO

Authors Philipp Hieronymi

Publication date 23 April 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1101.1194, https://projecteuclid.org/euclid.jsl/1358951109

zbMATH Keywords

definably complete expansiondefinably Baire expansion

Mathematics Subject Classification ID

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

Abstract: Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.

Recommendations

• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• Definably complete Baire structures
• A fundamental dichotomy for definably complete expansions of ordered fields
• Expansions of subfields of the real field by a discrete set
• Expansions of ordered fields without definable gaps

Cites work

• Definably complete Baire structures
• Definably complete structures are not pseudo-enumerable
• Defining the set of integers in expansions of the real field by a closed discrete set
• Expansions of dense linear orders with the intermediate value property
• Theorems of the complement

Cited in

(24)

• LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
• On the Preservation of Baire Category Under Preimages
• Value groups and residue fields of models of real exponentiation
• A fundamental dichotomy for definably complete expansions of ordered fields
• Theorems of the complement
• scientific article; zbMATH DE number 5506027 (Why is no real title available?)
• Definably complete Baire structures
• Absolute extrema and the Baire category theorem
• Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind
• Expansions of ordered fields without definable gaps
• A Baire category approach to the bang-bang property
• scientific article; zbMATH DE number 2098017 (Why is no real title available?)
• Set-valued generalizations of Baire's category theorem
• A Baire category theorem for the domains of iterates of a linear operator
• scientific article; zbMATH DE number 1500615 (Why is no real title available?)
• Applications of the Baire category theorem
• Pseudo-finite sets, pseudo-o-minimality
• On definable completeness for ordered fields
• Models of true arithmetic are integer parts of models of real exponentation
• Expansions of subfields of the real field by a discrete set
• Definably complete structures are not pseudo-enumerable
• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• The least cardinal for which the Baire category theorem fails
• The Baire category theorem and choice

This page was built for publication: An analogue of the Baire category theorem

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