Gödel's program

MaRDI QIDQ3464650zbMATH OpenFDO

Authors John Steel

Publication date 27 January 2016

zbMATH Keywords

consistency strength hierarchymultiverse languageZFC

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Consistency and independence results (03E35)

Recommendations

• Truth and provability
• Does Mathematics Need New Axioms?
• scientific article; zbMATH DE number 4148041
• Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
• Interpreting Gödel. Critical essays

Cited in

(40)

• The GOEDEL program
• Can we resolve the continuum hypothesis?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Reflection principles, generic large cardinals, and the continuum problem
• Ideal objects for set theory
• Covering with Chang models over derived models
• Set theory and the analyst
• Characterizations of ordinal analysis
• Must we believe in set theory?
• Multiversism and concepts of set: how much relativism is acceptable?
• Multiverse conceptions in set theory
• On the set-generic multiverse
• Gödel's 1946 Princeton bicentennial lecture: an appreciation
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• The downward directed grounds hypothesis and very large cardinals
• Universism and extensions of \(V\)
• Feferman on set theory: infinity up on trial
• Set-theoretic foundations
• A reconstruction of Steel's multiverse project
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Maddy On The Multiverse
• How many real numbers are there?
• WHAT IS A RESTRICTIVE THEORY?
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Intellectual humility in mathematics
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• Risk and theoretical equivalence in mathematical foundations
• On the hierarchy of natural theories
• Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength
• Of sheep and wolves: equivalence and disagreement in set theory
• Is (un)countabilism restrictive?
• The generic multiverse is not going away
• Maximality principles in the hyperuniverse programme
• Book review of: S. Centrone (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts
• Models as fundamental entities in set theory: a naturalistic and practice-based approach
• Intuition and observation
• What set theory could not be about
• What is forcing potentialism?
• A taxonomy for set-theoretic potentialism

This page was built for publication: Gödel's program

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