scientific article; zbMATH DE number 1301814

MaRDI QIDQ4247032zbMATH OpenFDO

Authors Donald A. Martin

Publication date 17 May 2000

zbMATH Keywords

axioms of set theorycone lemma for Turing degreesdescriptive set theorydeterminacy hypothesisevidence of mathematical truthlarge cardinal axiomsWadge degrees

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Descriptive set theory (03E15) Determinacy principles (03E60)

Recommendations

• Proofs and guarantees
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Believing the axioms. I
• Defending the axioms. On the philosophical foundations of set theory
• Absolute Provability and Safe Knowledge of Axioms

Cited in

(10)

• The truth and nothing but the truth
• Can we resolve the continuum hypothesis?
• Non-deductive logic in mathematics: the probability of conjectures
• Multiverse conceptions in set theory
• Mathematical Proof and the Reliability of DNA Evidence
• Multiverse conceptions in set theory
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Arealism, thin realism, and the problem of extrinsic evidence
• The hidden use of new axioms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247032)