Foundational implications of the inner model hypothesis

DOI10.1016/J.APAL.2012.01.009zbMATH Open1270.03090OpenAlexW2039667364MaRDI QIDQ448331FDOQ448331

Authors: Tatiana Arrigoni, Sy-David Friedman 

Publication date: 6 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.01.009

Recommendations

• Internal Consistency and the Inner Model Hypothesis
• On the consistency strength of the inner model hypothesis
• Deconstructing inner model theory
• Descriptive inner model theory
• Internal Model Principles for Observers
• scientific article; zbMATH DE number 1886433
• Diagrammatic Representation and Inference
• Inner-model reflection principles
• scientific article; zbMATH DE number 4047708
• BPFA and inner models

zbMATH Keywords

consistencyforcingindependence resultsfoundation of set theoryinner model hypothesisnew axioms

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Can you take Solovay's inaccessible away?
• Analytic determinacy and 0^#
• Title not available (Why is that?)
• Internal Consistency and the Inner Model Hypothesis
• The continuum hypothesis. I
• \(V = L\) and intuitive plausibility in set theory. A case study
• Handbook of Set Theory
• On the consistency strength of the inner model hypothesis
• What is meant by \(V\)? Reflections on the universe of all sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logical dreams
• Inner Models and Large Cardinals
• Title not available (Why is that?)

Cited In (10)

• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• On the consistency strength of the inner model hypothesis
• On the set-generic multiverse
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• The hyperuniverse program
• The hyperuniverse project and maximality
• Maximality and ontology: how axiom content varies across philosophical frameworks
• The implicitly constructible universe
• Large cardinals and the continuum hypothesis

This page was built for publication: Foundational implications of the inner model hypothesis

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