Class forcing in class theory

DOI10.1007/978-3-319-62935-3_1MaRDI QIDQ3305404zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,mathcalC)$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma (and the Truth Lemma) can be proven without restricting the notion of forcing. Furthermore we show under which conditions the axioms are preserved. We conclude by proving that Laver's Theorem does not hold for class-forcings.

Recommendations

• Class forcing, the forcing theorem and Boolean completions
• The exact strength of the class forcing theorem
• On the Mathematical Content of the Theory of Classes KM

Cites work

• Certain very large cardinals are not created in small forcing extensions
• Extensions with the approximation and cover properties have no new large cardinals
• Fine structure and class forcing
• scientific article; zbMATH DE number 3717301 (Why is no real title available?)

Cited in

(13)

• Forcing and the universe of sets: must we lose insight?
• Class forcing, the forcing theorem and Boolean completions
• Constructibility and class forcing
• On the Mathematical Content of the Theory of Classes KM
• Absoluteness via resurrection
• Universism and extensions of \(V\)
• Boolean-valued class forcing
• AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
• Incompatible bounded category forcing axioms
• Kelley–Morse set theory does not prove the class Fodor principle
• Sufficient conditions for the forcing theorem, and turning proper classes into sets
• The exact strength of the class forcing theorem
• Of sheep and wolves: equivalence and disagreement in set theory

This page was built for publication: Class forcing in class theory

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