Definably complete Baire structures
From MaRDI portal
Publication:3066707
DOI10.4064/fm209-3-2zbMath1233.03043MaRDI QIDQ3066707
Tamara Servi, Antongiulio Fornasiero
Publication date: 11 January 2011
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/fm209-3-2
Related Items
Theorems of the Complement, An analogue of the Baire category theorem, Models of true arithmetic are integer parts of models of real exponentation, 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, LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES, Relative Pfaffian closure for definably complete Baire structures, Definably complete structures are not pseudo-enumerable, Dimensions, matroids, and dense pairs of first-order structures, A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS, On the decidability of the real field with a generic power function, A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire