So an archimedan field has no infinite elements (and thus no non-zero infinitesimal elements).
For a non-archimedean field for some non-archimedean absolute value one defines
its ring of integers to be
This is a local ring with maximal ideal
The residue field of is the quotient
Archimean fields include
Non-archimean fields include