Front for the arXiv
Fri, 9 May 2008
Front > math > LO > 0803 > arXiv:0803.3560
search | register | submit
journals | about | iFAQ

arXiv:0803.3560

[pdf] [ps] [dvi] [src] [arxiv]

Title: Definably complete and Baire structures
Authors: Antongiulio Fornasiero, Tamara Servi
Categories: math.LO Logic
Comments: 23 pages, version 4.1
MSC: 03C64, 26E30

Abstract: We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However, unlike the o-minimal case, the structures considered form an elementary class. In this context we prove a version of Kuratowski-Ulam's Theorem and some restricted version of Sard's Lemma.

Owner: Antongiulio Fornasiero
Version 1: Tue, 25 Mar 2008 13:34:43 GMT

[help e-mail] - for questions or comments about the Front
arXiv contact page - for questions about downloading and submitting e-prints