Strong Statements of Analysis
A. R. D. Mathias · Bulletin of the London Mathematical Society · 2000
Examples are discussed of natural statements about irrational numbers that are equivalent, provably in ZFC, to strong set-theoretical hypotheses, and of apparently classical statements provable in ZFC of which the only known proofs use strong set-theoretical concepts. 2000 Mathematics Subject Classification 03E65, 03E60, 03E45, 26A21, 28A05, 54H05, 54E50, 54E52, 91A99.