Gödel's program
From MaRDI portal
Publication:3464650
zbMATH Open1358.03007MaRDI QIDQ3464650FDOQ3464650
Authors: John Steel
Publication date: 27 January 2016
Recommendations
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Consistency and independence results (03E35)
Cited In (27)
- The downward directed grounds hypothesis and very large cardinals
- Intellectual humility in mathematics
- Feferman on set theory: infinity up on trial
- Universism and extensions of \(V\)
- Must we believe in set theory?
- Covering with Chang models over derived models
- On the set-generic multiverse
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Set theory and the analyst
- 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?
- Title not available (Why is that?)
- Can we resolve the continuum hypothesis?
- Maximality and ontology: how axiom content varies across philosophical frameworks
- The GOEDEL program
- Gödel's 1946 Princeton bicentennial lecture: an appreciation
- Characterizations of ordinal analysis
- Reflection principles, generic large cardinals, and the continuum problem
- WHAT IS A RESTRICTIVE THEORY?
- VARIETIES OF CLASS-THEORETIC POTENTIALISM
- Set-theoretic foundations
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)