Does Mathematics Need New Axioms?

DOI10.2307/420965zbMath0972.01040OpenAlexW3096960498WikidataQ114586997 ScholiaQ114586997MaRDI QIDQ5890203

Solomon Feferman

Publication date: 26 July 2001

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0604-toc.htm

zbMATH Keywords

Obituary

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items

What is so special with the powerset operation?, Mathematical determinacy and the transferability of aboutness, Multiverse Conceptions in Set Theory, The role of axioms in mathematics, Multiverse conceptions in set theory, Die another day, Feferman on Set Theory: Infinity up on Trial, Feferman’s Skepticism About Set Theory, Arithmetic is determinate, The constructive Hilbert program and the limits of Martin-Löf type theory

Cites Work

• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• On the necessary use of abstract set theory
• Finite functions and the necessary use of large cardinals
• The strength of some Martin-Löf type theories
• Does Mathematics Need New Axioms?
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• What is Cantor's Continuum Problem?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item