Real Analysis Exchange

\(72 + 42\): Characterizations of the Completeness and Archimedean Properties of Ordered Fields

Michael Deveau and Holger Teismann

Full-text: Open access

Abstract

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.

Article information

Source
Real Anal. Exchange, Volume 39, Number 2 (2014), 261-304.

Dates
First available in Project Euclid: 30 June 2015

Permanent link to this document
https://projecteuclid.org/euclid.rae/1435669996

Mathematical Reviews number (MathSciNet)
MR3365375

Zentralblatt MATH identifier
1326.26008

Subjects
Primary: 26A02
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

Keywords
Ordered field completeness Archimedean Property single variable analysis

Citation

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


Export citation