INNER MODEL THEORETIC GEOLOGY

DOI10.1017/JSL.2015.64zbMath1403.03106OpenAlexW2183158954MaRDI QIDQ2976375

Gunter Fuchs, Ralf-Dieter Schindler

Publication date: 28 April 2017

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

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

zbMATH Keywords

forcinglarge cardinalsinner modelsmantle

Mathematics Subject Classification ID

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

Related Items (4)

VARSOVIAN MODELS I ⋮ Inner-model reflection principles ⋮ THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL ⋮ Reinhardt cardinals and iterates of \(V\)

Cites Work

• Unnamed Item
• Unnamed Item
• Generalizations of the Kunen inconsistency
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• A very absolute Π21 real singleton

This page was built for publication: INNER MODEL THEORETIC GEOLOGY