arXiv Analytics

Sign in

arXiv:1101.1194 [math.LO]AbstractReferencesReviewsResources

An analogue of the Baire Category Theorem

Philipp Hieronymi

Published 2011-01-06, updated 2012-05-23Version 5

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

Journal: J. Symb. Logic (1) 78 (2013) 207-213
Categories: math.LO
Subjects: 03C64, 54E52
Related articles: Most relevant | Search more
arXiv:1012.3508 [math.LO] (Published 2010-12-16, updated 2011-08-16)
Expansions of subfields of the real field by a discrete set
arXiv:1510.01913 [math.LO] (Published 2015-10-07)
On the Uniform Computational Content of the Baire Category Theorem
arXiv:1710.05889 [math.LO] (Published 2017-10-16)
Omitting Types and the Baire Category Theorem

Links

Toolbox