hyperclass en · NOUN
Etymology
From hyper- + class.
Meanings
-
A superset of classes
Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every #92;beta-model of MK#123;#42;#42;#125; can be extended to a minimal such model of MK#123;#42;#42;#125; with the same ordinals.
2015, Carolin Antos, Sy-David Friedman, “Hyperclass Forcing in Morse-Kelley Class Theory”, in arXiv:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| hyperclasses | Number=Plur | lexicographic |