Real Analysis Exchange
- Real Anal. Exchange
- Volume 39, Number 2 (2014), 261-304.
\(72 + 42\): Characterizations of the Completeness and Archimedean Properties of Ordered Fields
This paper provides a list of statements of single-variable Real Analysis, including well-known theorems, that are equivalent to the completeness or Archimedean properties of totally ordered fields. There are 72 characterizations of completeness and 42 characterizations of the Archimedean property, among them many that appear to be new in the sense that they do not seem to have previously been mentioned in this context. An attempt is made to be as comprehensive as possible and to give a complete account of the current state of knowledge of the matter. Proofs are provided whenever they are not readily available in the literature.
Real Anal. Exchange, Volume 39, Number 2 (2014), 261-304.
First available in Project Euclid: 30 June 2015
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Secondary: 26A06: One-variable calculus 26E30: Non-Archimedean analysis [See also 12J25] 03B30: Foundations of classical theories (including reverse mathematics) [See also 03F35] 12J15: Ordered fields
Deveau, Michael; Teismann, Holger. \(72 + 42\): Characterizations of the Completeness and Archimedean Properties of Ordered Fields. Real Anal. Exchange 39 (2014), no. 2, 261--304. https://projecteuclid.org/euclid.rae/1435669996