hyperclass

English

Etymology

From hyper- +‎ class.

Noun

hyperclass (plural hyperclasses)

1. (mathematics) A superset of classes
   • 2015, Carolin Antos, Sy-David Friedman, “Hyperclass Forcing in Morse-Kelley Class Theory”, in arXiv‎:

     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.