Corpus ID: 67066639

Taming Reverse Mathematics zoo

@inproceedings{Sanders2014TamingRM,
  title={Taming Reverse Mathematics zoo},
  author={S. Sanders},
  year={2014}
}
  • S. Sanders
  • Published 2014
  • Mathematics, Engineering, Computer Science
  • Reverse Mathematics is a program in the foundations of mathematics. Its results give rise to an elegant classification of theorems of ordinary mathematics based on computability. In particular, the majority of theorems fall into only five categories of which the associated logical systems are dubbed `the Big Five'. Recently, a lot of effort has been directed towards finding exceptional principles, i.e. which fall outside the Big Five categories. The so-called Reverse Mathematics zoo is a… CONTINUE READING
    10 Citations

    References

    SHOWING 1-10 OF 36 REFERENCES
    Higher Order Reverse Mathematics
    • 73
    • Highly Influential
    • PDF
    Combinatorial principles weaker than Ramsey's Theorem for pairs
    • 127
    • PDF
    Separating Principles below Ramsey's Theorem for Pairs
    • 47
    • Highly Influential
    • PDF
    Nonstandard Arithmetic and Reverse Mathematics
    • H. J. Keisler
    • Computer Science, Mathematics
    • Bulletin of Symbolic Logic
    • 2006
    • 42
    • PDF
    Uniform versions of some axioms of second order arithmetic
    • 42
    Located Sets and Reverse Mathematics
    • 42
    • PDF
    Internal set theory: A new approach to nonstandard analysis
    • 561
    • Highly Influential
    • PDF
    Classical provability of uniform versions and intuitionistic provability
    • 4
    • PDF
    FREE SETS AND REVERSE MATHEMATICS
    • 36
    • Highly Influential
    • PDF