Representations of Reals in Reverse Mathematics

• Autorzy: Jeffry L. Hirst
• Języki publikacji: EN

Abstrakty

EN

Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.

Kategorie tematyczne

• 03B30: Foundations of classical theories (including reverse mathematics)
• 03F60: Constructive and recursive analysis
• 03F35: Second- and higher-order arithmetic and fragments

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2007
• Tom: 55
• Numer: 4
• Strony: 303-316

Daty

wydano

2007

Twórcy

autor

Jeffry L. Hirst

• Department of Mathematical Sciences, Appalachian State University, Boone, NC 28608, U.S.A.

Identyfikatory

DOI

10.4064/ba55-4-2