Super real closed rings

Marcus Tressl. "Super real closed rings." Fundamenta Mathematicae 194.2 (2007): 121-177. <http://eudml.org/doc/282871>.

@article{MarcusTressl2007,
abstract = {A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed rings, by showing that many constructions of lattice ordered rings can be performed inside super real closed rings; the most important are: residue rings, complete and classical quotients, convex hulls, valuations, Prüfer hulls and real closures over proconstructible subsets. We also give a counterexample to the conjecture that the first order theory of (pure) rings of continuous functions is the theory of real closed rings, which says in addition that a semi-local model is a product of fields.},
author = {Marcus Tressl},
journal = {Fundamenta Mathematicae},
keywords = {real closed rings; super real fields; rings of continuous functions; model theory; convexity; spectra},
language = {eng},
number = {2},
pages = {121-177},
title = {Super real closed rings},
url = {http://eudml.org/doc/282871},
volume = {194},
year = {2007},
}

TY - JOUR
AU - Marcus Tressl
TI - Super real closed rings
JO - Fundamenta Mathematicae
PY - 2007
VL - 194
IS - 2
SP - 121
EP - 177
AB - A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed rings, by showing that many constructions of lattice ordered rings can be performed inside super real closed rings; the most important are: residue rings, complete and classical quotients, convex hulls, valuations, Prüfer hulls and real closures over proconstructible subsets. We also give a counterexample to the conjecture that the first order theory of (pure) rings of continuous functions is the theory of real closed rings, which says in addition that a semi-local model is a product of fields.
LA - eng
KW - real closed rings; super real fields; rings of continuous functions; model theory; convexity; spectra
UR - http://eudml.org/doc/282871
ER -