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‎^[1]:

     Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every $\beta$-model of MK$^{**}$ can be extended to a minimal such model of MK$^{**}$ with the same ordinals.