摘要: In this article we show that Morse-Kelley class theory (MK) provides us with an adequate framework for forcing. We give a rigorous definition of forcing in model \((M,\mathcal {C})\) MK, the main result being Definability Lemma (and Truth Lemma) can be proven without restricting notion Furthermore under which conditions axioms are preserved. conclude by proving Laver’s Theorem does not hold forcings.
arxiv.org
springer.com
harvard.edu
128.84.21.199
uni-konstanz.de参考文章(6)
Sy D. Friedman, Fine Structure and Class Forcing ,(2000)
Rolando Chuaqui, Internal and forcing models for the impredicative theory of classes ,(1980)
Richard Laver, Certain very large cardinals are not created in small forcing extensions Annals of Pure and Applied Logic. ,vol. 149, pp. 1- 6 ,(2007) , 10.1016/J.APAL.2007.07.002
Carolin Antos, Sy-David Friedman, Hyperclass forcing in Morse-Kelley class theory Journal of Symbolic Logic. ,vol. 82, pp. 549- 575 ,(2017) , 10.1007/978-3-319-62935-3_2
Joel David Hamkins, Extensions with the approximation and cover properties have no new large cardinals Fundamenta Mathematicae. ,vol. 180, pp. 257- 277 ,(2003) , 10.4064/FM180-3-4
Joel David Hamkins, Extensions with the approximation and cover properties have no new large cardinals arXiv: Logic. ,(2003) , 10.4064/FM180-3-4