Pseudo completions and completions in stages of o-minimal structures
type: Item
instance of: scholarly article
title: Pseudo completions and completions in stages of o-minimal structures
zbMATH Open document ID: 1116.03033
author: Marcus Tressl
published in: Archive for Mathematical Logic
publication date: 2007-01-24T00:00:00Z
full work available at URL: Pseudo.pdf
review text: Given a real-closed field \(R\) there is a largest ordered field \(\hat R\) such that \(R\) is dense in \(\hat R\). \(\hat R\) is called the completion of \(R\) and is again real-closed; if \(R=\hat R\) then \(R\) is called complete (see [\textit{S. Prieß-Crampe}, Angeordnete Strukturen: Gruppen, Körper, projektive Ebenen. Berlin: Springer-Verlag (1983; Zbl 0558.51012)]). If \(v\) is a proper real valuation on \(R\) then \(\hat R\) is the completion of the valued field \((R,v):\hat R\) is obtained by adjoining limits of Cauchy sequences with respect to \(v\) (see [\textit{P. Ribenboim}, Théorie des valuations. Montreal: Les Presses de l'Université de Montreal (1965; Zbl 0139.26201)]). The author calls a real-closed field \(R\) complete in stages with respect to a set \(\mathcal V\) of convex valuation rings of \(R\) if the residue field of every \(V\in \mathcal V\) is complete. In the first step the author constructs for a real-closed field \(R\) and a set \(\mathcal V\) of convex valuation rings of \(R\) a smallest real-closed field extension \(R'\) of \(R\) having a limit for all sequences of \(R\) that become Cauchy sequences in the residue field of some \(V\in \mathcal V\). It is shown that up to \(R\)-isomorphisms the real-closed field \(R'\) does not depend on the chosen order of adjoining limits. \(R'\) is called the pseudo-completion of \(R\). In general the pseudo-completion is not complete in stages with respect to the set of convex hulls in \(R'\) of the elements in \(\mathcal V\). So in a second step the author iterates the construction from the first step to obtain a smallest extension \(S\) of \(R\) which is complete in stages with respect to the set of convex hulls in \(S\) of the elements in \(\mathcal V\). This extension \(S\) is called the completion in stages of \(R\) with respect to \(\mathcal V\). The value groups and residue fields of all convex valuation rings of \(S\) are computed. Step 1 can be done for o-minimal expansions of real-closed fi…
reviewed by: Tobias Kaiser
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 13B35
zbMATH DE Number: 5118083
zbMATH Keywords: real-closed value fields
zbMATH Keywords: o-minimal structures
zbMATH Keywords: completion
MaRDI profile type: Publication
OpenAlex ID: W2094990273
cites work: Q4210476
cites work: T-convexity and tame extensions
cites work: The field of reals with multisummable series and the exponential function.
cites work: Definable types in -minimal theories
cites work: Definable Sets in Ordered Structures. I
cites work: Q3223453
cites work: Model completeness of o-minimal structures expanded by Dedekind cuts
cites work: Q5511421
DOI: 10.1007/S00153-006-0022-2
description: scientific article; zbMATH DE number 5118083