o-minimal expansions of real closed fields and completeness in the sense of Scott - Université de Poitiers Access content directly
Preprints, Working Papers, ... Year : 2015

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.

Domains

Logic [math.LO]
Fichier principal
Vignette du fichier
851.pdf (256.74 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03704341 , version 1 (24-06-2022)

Identifiers

  • HAL Id : hal-03704341 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More