Abstract
This paper suggests motivations and goals of the program known as Reverse Mathematics, providing some illustrative examples of the many techniques and problems involved in working within subsystems of second order arithmetic, namely, in particular, RCA0, WKL0, ACA0, ATR0. Some examples from Combinatorics, — the Free Set Theorem and Ramsey’s Theorem — show how some theorems of ordinary mathematics may not fit in one of the subsystems mentioned aboves. As application of Reverse Mathematics to the History of Mathematics, we comment on König’s duality theorem and Cantor’s proof that every countable closed set is a set of uniqueness. Also, more technically, we present some results related to Lebesgue spaces (every open covering has a Lebesgue number) and Atsuji spaces (every continuous function defined on them is uniformly continuous); we show that the known proof of “every Atsuji space is Lebesgue” needs ACA0, and we conjecture that the statement is actually equivalent to ACA0. Finally, we discuss some limitations for Reverse Mathematics that may lead to projects of research in this field of mathematics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Giusto, M. (2003). Topics in Reverse Mathematics. In: Löwe, B., Malzkom, W., Räsch, T. (eds) Foundations of the Formal Sciences II. Trends in Logic, vol 17. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0395-6_6
Download citation
DOI: https://doi.org/10.1007/978-94-017-0395-6_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6233-8
Online ISBN: 978-94-017-0395-6
eBook Packages: Springer Book Archive