Displaying similar documents to “Introduction”

Ordered Rings and Fields

Christoph Schwarzweller (2017)

Formalized Mathematics

Similarity:

We introduce ordered rings and fields following Artin-Schreier’s approach using positive cones. We show that such orderings coincide with total order relations and give examples of ordered (and non ordered) rings and fields. In particular we show that polynomial rings can be ordered in (at least) two different ways [8, 5, 4, 9]. This is the continuation of the development of algebraic hierarchy in Mizar [2, 3].

On f -rings that are not formally real

James J. Madden (2010)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

Henriksen and Isbell showed in 1962 that some commutative rings admit total orderings that violate equational laws (in the language of lattice-ordered rings) that are satisfied by all totally-ordered fields. In this paper, we review the work of Henriksen and Isbell on this topic, construct and classify some examples that illustrate this phenomenon using the valuation theory of Hion (in the process, answering a question posed in [E]) and, finally, prove that a base for the equational...

Non-transitive generalizations of subdirect products of linearly ordered rings

Jiří Rachůnek, Dana Šalounová (2003)

Czechoslovak Mathematical Journal

Similarity:

Weakly associative lattice rings (wal-rings) are non-transitive generalizations of lattice ordered rings (l-rings). As is known, the class of l-rings which are subdirect products of linearly ordered rings (i.e. the class of f-rings) plays an important role in the theory of l-rings. In the paper, the classes of wal-rings representable as subdirect products of to-rings and ao-rings (both being non-transitive generalizations of the class of f-rings) are characterized and the class of wal-rings...

Super real closed rings

Marcus Tressl (2007)

Fundamenta Mathematicae

Similarity:

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...