Opening book details…
Can I read Reverse Mathematics 2001 on EtoBox?
Reverse Mathematics 2001 by Stephen G. Simpson is a book available to read on EtoBox.
What is Reverse Mathematics 2001 about?
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Reverse mathematics is a program of research in the foundations of mathematics, motivated by two foundational questions: 'what are appropriate axioms for mathematics?' and 'what are the logical strengths of particular axioms and particular theorems?' This volume, the twenty-first publication in the Lecture Notes in Logic series, contains twenty-four original research papers from respected authors that present exciting new developments in reverse mathematics and subsystems of second order arithmetic since 1998.
- Author
- Stephen G. Simpson
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2017
- Language
- EN
- ISBN
- 9781316755846
More by Stephen G. Simpson
Browse all works by Stephen G. Simpson
Similar books
- Nonstandard Methods and Applications in Mathematics — Nigel J. Cutland; Mauro Di Nasso; David A. Ross (2017)
- Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy — Petr Hájek (2017)
- Aspects of Incompleteness — Per Lindström (2017)
- Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, Series Number 9) — Martin Otto (2017)
- Admissible Sets and Structures (Perspectives in Logic, Series Number 7) — Jon Barwise (2017)
- General Recursion Theory: An Axiomatic Approach (Perspectives in Logic, Series Number 10) — Jens Erik Fenstad (2017)