Finite functions and the necessary use of large cardinals

DOI10.2307/121032zbMath0941.03050arXivmath/9811187OpenAlexW2007577694MaRDI QIDQ1281440

Harvey M. Friedman

Publication date: 31 July 2000

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9811187

zbMATH Keywords

large cardinalsfinite function\(n\)-subtle cardinals

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Other combinatorial set theory (03E05)

Related Items

Proof Theory in Philosophy of Mathematics, Unnamed Item, The Prospects for Mathematical Logic in the Twenty-First Century, On a Diophantine representation of the predicate of provability, Computer theorem proving in mathematics, Gödel's Program Revisited Part I: The Turn to Phenomenology, Does Mathematics Need New Axioms?, Does Mathematics Need New Axioms?, Complexity classes as mathematical axioms, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, The metamathematics of ergodic theory, Subtle cardinals and linear orderings