An analogue of the Baire Category Theorem
classification
🧮 math.LO
keywords
analoguebairecategorytheoremcompletedefinablyeveryexpansion
read the original abstract
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.