hyperclass
Appearance
From Wiktionary, the free dictionary
English
[edit ]Etymology
[edit ]Noun
[edit ]hyperclass (plural hyperclasses )
- (mathematics ) A superset of classes
- 2015, Carolin Antos, Sy-David Friedman, "Hyperclass Forcing in Morse-Kelley Class Theory", in arXiv[1] :
- Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every {\displaystyle \beta }-model of MK{\displaystyle ^{**}} can be extended to a minimal such model of MK{\displaystyle ^{**}} with the same ordinals.