Open main menu

Wiktionary β

hyperclass

EnglishEdit

EtymologyEdit

hyper- +‎ class

NounEdit

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  -model of MK  can be extended to a minimal such model of MK  with the same ordinals.