Separably real closed local rings

Real Closed Rings and Real Closed * Rings

Here we try to distinguish and compare different notions of real closedness mainly one developed by N. Schwartz in his Habilitationschrift and the other developed by A. Sankaran and K. Varadarajan in [SV] which we shall call real closed *. We stick to the definition of real closed rings as defined and characterized in [RCR] and we try to determine and characterize real closed rings that are rea...

Super real closed rings

Contents 1. Introduction 2. Real closed rings-a model theoretic tour 3. Computation of the z-radical in C(X) 4. A sentence in the language of rings separating continuous semi-algebraic from arbitrary continuous functions 5. Super real closed rings: Definition and basic properties 6. Υ-ideals 7. Localization of super real closed rings 8. Application: o-minimal structures on super real closed fie...

Real closed valuation rings

The real closed valuation rings, i.e., convex subrings of real closed fields, form a proper subclass of the class of real closed domains. It is shown how one can recognize whether a real closed domain is a valuation ring. This leads to a characterization of the totally ordered domains whose real closure is a valuation ring. Real closures of totally ordered factor rings of coordinate rings of re...

Bounded super real closed rings

Separably closed fields with Hasse derivations

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.