On the Question of Absolute Undecidability

DOI10.1093/PHILMAT/NKJ009MaRDI QIDQ3422399zbMATH OpenOpenAlexFDO

Authors Peter Koellner

Publication date 13 February 2007

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkj009

zbMATH Keywords

CHdefinable determinacygeneric absolutenessGödel's views on absolute undecidabilitylarge cardinalsOmega-logicset theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Descriptive set theory (03E15) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• On the question of absolute undecidability
• “Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
• What is absolute undecidability?
• Multiverse set theory and absolutely undecidable propositions
• Absolute Provability and Safe Knowledge of Axioms

Cited in

(21)

• Computing the uncomputable; or, the discrete charm of second-order simulacra
• Against the judgment-dependence of mathematics and logic
• A metasemantic challenge for mathematical determinacy
• An indeterminate universe of sets
• Constructibility and decidability versus domain independence and absoluteness
• What is absolute undecidability?
• On the question of absolute undecidability
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• “Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
• Incompatible Ω-Complete Theories
• scientific article; zbMATH DE number 4031659 (Why is no real title available?)
• scientific article; zbMATH DE number 2152226 (Why is no real title available?)
• Gödelian sentences and semantic arguments
• MODAL STRUCTURALISM AND REFLECTION
• Strong logics of first and second order
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• On reflection principles
• Models as fundamental entities in set theory: a naturalistic and practice-based approach
• Intuition and observation

This page was built for publication: On the Question of Absolute Undecidability

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