Jump to content
Wiktionary The Free Dictionary

hyperclass

From Wiktionary, the free dictionary

English

[edit ]

Etymology

[edit ]

From hyper- +‎ class .

Noun

[edit ]

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 β {\displaystyle \beta } {\displaystyle \beta }-model of MK {\displaystyle ^{**}} {\displaystyle ^{**}} can be extended to a minimal such model of MK {\displaystyle ^{**}} {\displaystyle ^{**}} with the same ordinals.

AltStyle によって変換されたページ (->オリジナル) /