Hyperclass Forcing in Morse-Kelley Class Theory

Carolin Antos () and Sy-David Friedman
Additional contact information
Carolin Antos: University of Konstanz, Zukunftskolleg/Department of Philosophy
Sy-David Friedman: University of Vienna, Kurt Gödel Research Center for Mathematical Logic

A chapter in The Hyperuniverse Project and Maximality, 2018, pp 17-46 from Springer

Abstract: Abstract In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class theory, called MK∗∗. We define this forcing by using a symmetry between MK∗∗ models and models of ZFC− plus there exists a strongly inaccessible cardinal (called SetMK∗∗). We develop a coding between β-models ℳ $$\mathcal {M}$$ of MK∗∗ and transitive models M + of SetMK∗∗ which will allow us to go from ℳ $$\mathcal {M}$$ to M + and vice versa. So instead of forcing with a hyperclass in MK∗∗ we can force over the corresponding SetMK∗∗ model with a class of conditions. For class-forcing to work in the context of ZFC− we show that the SetMK∗∗ model M + can be forced to look like L κ ∗ [ X ] $$L_{\kappa ^*}[X]$$ , where κ ∗ is the height of M +, κ strongly inaccessible in M + and X ⊆ κ. Over such a model we can apply definable class forcing and we arrive at an extension of M + from which we can go back to the corresponding β-model of MK∗∗, which will in turn be an extension of the original ℳ $$\mathcal {M}$$ . Our main result combines hyperclass forcing with coding methods of Beller et al. (Coding the universe. Lecture note series. Cambridge University Press, Cambridge, 1982) and Friedman (Fine structure and class forcing. de Gruyter series in logic and its applications, vol 3, Walter de Gruyter, New York, 2000) to show that every β-model of MK∗∗ can be extended to a minimal such model of MK∗∗ with the same ordinals. A simpler version of the proof also provides a new and analogous minimality result for models of second-order arithmetic.

Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-62935-3_2

Ordering information: This item can be ordered from
http://www.springer.com/9783319629353

DOI: 10.1007/978-3-319-62935-3_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().