Class Forcing in Class Theory

DOI10.1007/978-3-319-62935-3_1zbMath1439.03088arXiv1503.00116OpenAlexW1542108027MaRDI QIDQ3305404

Carolin Antos

Publication date: 7 August 2020

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

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

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Related Items (8)

AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING ⋮ Incompatible bounded category forcing axioms ⋮ Absoluteness via resurrection ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Kelley–Morse set theory does not prove the class Fodor principle ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ Boolean-valued class forcing

Cites Work

• Fine structure and class forcing
• Certain very large cardinals are not created in small forcing extensions
• Hyperclass Forcing in Morse-Kelley Class Theory
• Extensions with the approximation and cover properties have no new large cardinals
• Unnamed Item

This page was built for publication: Class Forcing in Class Theory