Definability of Satisfaction in Outer Models

DOI10.1007/978-3-319-62935-3_7zbMath1439.03086OpenAlexW2520467015MaRDI QIDQ3305410

Radek Honzík, Sy-David Friedman

Publication date: 7 August 2020

Published in: The Hyperuniverse Project and Maximality (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62935-3_7

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Cites Work

• Unnamed Item
• Set theory. An introduction to independence proofs