hyperclass

English

Etymology

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 -model of MK can be extended to a minimal such model of MK with the same ordinals.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.