Login
   

e/Laver function

New Query

Information
has glosseng: In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
lexicalizationeng: Laver function
instance ofe/Large cardinal

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)

Lexvo © 2008-2024 Gerard de Melo.   Contact   Legal Information / Imprint