Does Mathematics Need New Axioms?

DOI10.2307/420965zbMath0977.03002OpenAlexW3096960498WikidataQ114586997 ScholiaQ114586997MaRDI QIDQ5890202

Solomon Feferman, Harvey M. Friedman, Penelope J. Maddy, J. R. Steel

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

large cardinal axioms Boolean relation theory set-theoretic axioms set-theoretic foundations of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Large cardinals (03E55) Set theory (03E99)

Related Items

Proof Theory in Philosophy of Mathematics, Is there a ``Hilbert thesis?, The Axiom of Infinity and Transformations j: V → V, How to Choose New Axioms for Set Theory?, What makes the continuum ℵ₂, On the Axiom of Canonicity, How many real numbers are there?, WHAT IS A RESTRICTIVE THEORY?, Logic and science: science and logic, INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES, Forcing, Multiverse and Realism, Too naturalist and not naturalist enough: Reply to Horsten, Gödel's Program Revisited Part I: The Turn to Phenomenology, Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), Slowly oscillating functions in semigroup compactifications and convolution algebras, Why Sets?, Mathematical Existence, MODAL STRUCTURALISM AND REFLECTION, Can we resolve the continuum hypothesis?, Maximality and ontology: how axiom content varies across philosophical frameworks, Descriptive inner model theory, The Significance of Relativistic Computation for the Philosophy of Mathematics, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work