English Explanatory Dictionary

Grothendieck universe

English dictionary entry

Meanings

noun
  1. A kind of universal set whose elements follow the rules of Zermelo–Fraenkel set theory, and for which, with respect to an arbitrary set, an instance of its kind which has that set as a member may be posited to exist through an additional Tarski–Grothendieck axiom (which is not part of ZF but augments it, yielding Tarski–Grothendieck set theory).

Word forms

Grothendieck universe Grothendieck universes

Etymology

Named after Alexander Grothendieck (1928–2014), a German-born French mathematician.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on G Russian dictionary Dahl dictionary