Inner model theoretic geology

DOI10.1017/JSL.2015.64MaRDI QIDQ2976375zbMATH OpenOpenAlexFDO

Authors Gunter Fuchs, Ralf Schindler

Publication date 28 April 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b6140aa1a90320afb2b995987990514d3b0e27b6

zbMATH Keywords

forcinginner modelslarge cardinalsmantle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Large cardinals (03E55)

Recommendations

• Set-theoretic geology
• VARSOVIAN MODELS I
• The solidity and nonsolidity of initial segments of the core model
• scientific article; zbMATH DE number 1390274
• The downward directed grounds hypothesis and very large cardinals

Cites work

• A very absolute Π21 real singleton
• Certain very large cardinals are not created in small forcing extensions
• Generalizations of the Kunen inconsistency
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Set-theoretic geology

Cited in

(7)

• Extendible cardinals and the mantle
• Reinhardt cardinals and iterates of V
• Inner-model reflection principles
• Set-theoretic geology
• VARSOVIAN MODELS I
• The solidity and nonsolidity of initial segments of the core model
• Choice principles in local mantles

This page was built for publication: Inner model theoretic geology

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