MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 851

Preprint Number 851

Previous Next Preprint server


851. Olivier Frécon
o-minimal expansions of real closed fields and completeness in the sense of Scott
E-mail:

Submission date: 26 March 2015. Revised version: 5 April 2015.

Abstract:

We consider an o-minimal expansion M=(R,<,+,...) of a real closed field, and a real closed field S, complete in the sense of D. Scott, containing R as a dense subfield. We show that M has an elementary extension N=(S,<,+,...) with domain S. Moreover, such a structure N with domain S is unique.

Mathematics Subject Classification: 03C64

Keywords and phrases: Real closed field, o-minimal structure

Full text: pdf, dvi, ps. Version of 26 March 2015: pdf, dvi, ps


Last updated: May 15 2015 10:08 Please send your corrections to: