An analogue of the Baire category theorem

DOI10.2178/JSL.7801140zbMATH Open1306.03018arXiv1101.1194OpenAlexW2151765858MaRDI QIDQ4916554FDOQ4916554

Authors: Philipp Hieronymi 

Publication date: 23 April 2013

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

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

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

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

zbMATH Keywords

definably complete expansiondefinably Baire expansion

Mathematics Subject Classification ID

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

Cites Work

• Definably complete Baire structures
• Theorems of the Complement
• 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
• Definably complete structures are not pseudo-enumerable

Cited In (22)

• Expansions of ordered fields without definable gaps
• A Baire category theorem for the domains of iterates of a linear operator
• Title not available (Why is that?)
• Models of true arithmetic are integer parts of models of real exponentation
• On the Preservation of Baire Category Under Preimages
• Definably complete Baire structures
• A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire
• Set-valued generalizations of Baire's category theorem
• The Baire category theorem and choice
• Applications of the Baire category theorem
• Absolute extrema and the Baire category theorem
• LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
• Theorems of the Complement
• Definably complete structures are not pseudo-enumerable
• Expansions of subfields of the real field by a discrete set
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY
• The least cardinal for which the Baire category theorem fails
• A Baire category approach to the bang-bang property

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)