Gödel's program

MaRDI QIDQ3464650zbMATH OpenFDO

Authors John Steel

Publication date 27 January 2016

zbMATH Keywords

ZFCconsistency strength hierarchymultiverse language

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?
• Publication:3478371
• Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
• Interpreting Gödel. Critical essays

Cited in

(27)

• Set-theoretic foundations
• WHAT IS A RESTRICTIVE THEORY?
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• The downward directed grounds hypothesis and very large cardinals
• Intellectual humility in mathematics
• Must we believe in set theory?
• Feferman on set theory: infinity up on trial
• Universism and extensions of \(V\)
• Covering with Chang models over derived models
• On the set-generic multiverse
• Set theory and the analyst
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Ideal objects for set theory
• How many real numbers are there?
• A reconstruction of Steel's multiverse project
• Multiverse conceptions in set theory
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Maddy On The Multiverse
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• Multiversism and concepts of set: how much relativism is acceptable?
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• Can we resolve the continuum hypothesis?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• The GOEDEL program
• Characterizations of ordinal analysis
• Gödel's 1946 Princeton bicentennial lecture: an appreciation
• Reflection principles, generic large cardinals, and the continuum problem

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)