Does mathematics need new axioms?
Publication:5890202
DOI10.2307/420965zbMATH Open0977.03002OpenAlexW3096960498WikidataQ114586997 ScholiaQ114586997MaRDI QIDQ5890202FDOQ5890202
Penelope Maddy, John Steel, Solomon Feferman, Harvey M. Friedman
Publication date: 26 July 2001
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0604-toc.htm
large cardinal axiomsset-theoretic axiomsBoolean relation theoryset-theoretic foundations of mathematics
Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Large cardinals (03E55) Set theory (03E99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The strength of some Martin-Löf type theories
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Does Mathematics Need New Axioms?
- What is Cantor's Continuum Problem?
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
- Finite functions and the necessary use of large cardinals
- On the necessary use of abstract set theory
Cited In (24)
- Too naturalist and not naturalist enough: Reply to Horsten
- Gödel's Program Revisited Part I: The Turn to Phenomenology
- Logic and science: science and logic
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
- The Significance of Relativistic Computation for the Philosophy of Mathematics
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- Is there a ``Hilbert thesis?
- How many real numbers are there?
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
- The Axiom of Infinity and Transformations j: V → V
- How to Choose New Axioms for Set Theory?
- Slowly oscillating functions in semigroup compactifications and convolution algebras
- On the Axiom of Canonicity
- Proof Theory in Philosophy of Mathematics
- Can we resolve the continuum hypothesis?
- Maximality and ontology: how axiom content varies across philosophical frameworks
- Forcing, Multiverse and Realism
- Mathematical Existence
- MODAL STRUCTURALISM AND REFLECTION
- What makes the continuum ℵ₂
- Why Sets?
- Is the dream solution of the continuum hypothesis attainable?
- Descriptive inner model theory
- WHAT IS A RESTRICTIVE THEORY?
This page was built for publication: Does mathematics need new axioms?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890202)
