Can we resolve the continuum hypothesis?

DOI10.1007/S11229-017-1648-9MaRDI QIDQ2054119zbMATH OpenOpenAlexFDO

Authors Shivaram Lingamneni

Publication date 1 December 2021

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-017-1648-9

zbMATH Keywords

foundations of mathematicsincompletenessset theorystructuralismphilosophy of set theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Continuum hypothesis and Martin's axiom (03E50)

Recommendations

• The continuum hypothesis. I
• Is the dream solution of the continuum hypothesis attainable?
• “Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
• Has the continuum hypothesis been settled?
• The continuum hypothesis. II.

Cites work

• scientific article; zbMATH DE number 5081837 (Why is no real title available?)
• scientific article; zbMATH DE number 1250161 (Why is no real title available?)
• scientific article; zbMATH DE number 1301814 (Why is no real title available?)
• scientific article; zbMATH DE number 559220 (Why is no real title available?)
• scientific article; zbMATH DE number 1092439 (Why is no real title available?)
• scientific article; zbMATH DE number 1136105 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 1764653 (Why is no real title available?)
• A simple maximality principle
• All automorphisms of the Calkin algebra are inner
• Countable tightness and proper forcing
• Defending the axioms. On the philosophical foundations of set theory
• Does mathematics need new axioms?
• Forcing isomorphism
• Gödel's program
• Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
• Large cardinals from determinacy
• Multiversism and concepts of set: how much relativism is acceptable?
• On Khot’s unique games conjecture
• On reflection principles
• Restrictiveness relative to notions of interpretation
• Structuralism, Invariance, and Univalence
• Suitable extender models. II: Beyond \(\omega \)-huge
• The continuum hypothesis, the generic-multiverse of sets, and the \(\Omega\) conjecture
• The hyperuniverse program
• The set-theoretic multiverse
• What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Can we resolve the continuum hypothesis?

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