Hyperclass Forcing in Morse-Kelley Class Theory

DOI10.1007/978-3-319-62935-3_2zbMath1439.03089arXiv1510.04082OpenAlexW2963279576MaRDI QIDQ3305405

Carolin Antos, Sy-David Friedman

Publication date: 7 August 2020

Published in: The Journal of Symbolic Logic, The Hyperuniverse Project and Maximality (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.04082

zbMATH Keywords

minimal modelsclass forcinghyperclass forcingMorse-Kelly class theory

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)

Related Items (10)

On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Characterizations of pretameness and the Ord-cc ⋮ The enriched stable core and the relative rigidity of HOD ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Class Forcing in Class Theory ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Feferman’s Forays into the Foundations of Category Theory ⋮ MINIMUM MODELS OF SECOND-ORDER SET THEORIES ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ Boolean-valued class forcing

Cites Work

• Fine structure and class forcing
• What is the theory without power set?
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• Class Forcing in Class Theory
• Hyperclass Forcing in Morse-Kelley Class Theory
• Forcing closed unbounded sets
• Unnamed Item
• Unnamed Item

This page was built for publication: Hyperclass Forcing in Morse-Kelley Class Theory