Abstract
For an o-minimal expansion R of a real closed field and a set \(\fancyscript{V}\) of Th(R)-convex valuation rings, we construct a “pseudo completion” with respect to \(\fancyscript{V}\). This is an elementary extension S of R generated by all completions of all the residue fields of the \(V \in \fancyscript{V}\), when these completions are embedded into a big elementary extension of R. It is shown that S does not depend on the various embeddings up to an R-isomorphism. For polynomially bounded R we can iterate the construction of the pseudo completion in order to get a “completion in stages” S of R with respect to \(\fancyscript{V} \). S is the “smallest” extension of R such that all residue fields of the unique extensions of all \(V \in \fancyscript{V}\) to S are complete.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.