Description: Let $X$ be the set of all Cauchy sequences from the rationals $\mathbb Q$. Two sequences are equivalent if they converge to the same point. The real numbers are the equivalence classes.

Notes: largest Archimedian field

Keywords equivalence relation

Reference(s):

This ring has the following properties:

ACC principal
Artinian
atomic domain
Bezout domain
Bezout ring
characteristic 0 field
clean
Cohen-Macaulay
coherent
connected
continuous
Dedekind domain
distributive
domain
dual
Euclidean domain
Euclidean field
field
finitely pseudo Frobenius
Frobenius
GCD domain
Gorenstein
Jacobson
local
Noetherian
normal
normal domain
ordered field
perfect
perfect field
principal ideal domain
principal ideal ring
Prufer domain
pseudo Frobenius
Pythagorean field
rad-nil
reduced
regular
regular local
Schreier domain
self-injective
semilocal
semiperfect
semiprimary
semiprimitive
semiregular
semisimple
serial
stable range 1
strongly pi regular
unique factorization domain
valuation
von Neumann regular

The ring lacks the following properties:

We don't know if the ring has or lacks the following properties: