An analogue of the Baire category theorem

DOI10.2178/jsl.7801140zbMath1306.03018arXiv1101.1194OpenAlexW2151765858MaRDI QIDQ4916554

Philipp Hieronymi

Publication date: 23 April 2013

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

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

zbMATH Keywords

definably complete expansiondefinably Baire expansion

Mathematics Subject Classification ID

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

Related Items

Value Groups and Residue Fields of Models of Real Exponentiation, Definably complete structures are not pseudo-enumerable, A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire, Theorems of the Complement, PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY, Models of true arithmetic are integer parts of models of real exponentation, DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND, LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES

Cites Work

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