Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

o-minimal expansions of real closed fields and completeness in the sense of Scott

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal-univ-poitiers.archives-ouvertes.fr/hal-03704341
Contributor : Olivier Frécon Connect in order to contact the contributor
Submitted on : Friday, June 24, 2022 - 6:24:25 PM
Last modification on : Friday, July 1, 2022 - 3:12:04 AM

File

851.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03704341, version 1

Collections

Citation

Olivier Frécon. o-minimal expansions of real closed fields and completeness in the sense of Scott. 2015. ⟨hal-03704341⟩

Share

Metrics

Record views

9

Files downloads

4