![[arxiv]](/images/buttons/arxiv.png)
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