| Information | |
|---|---|
| has gloss | eng: In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals. |
| lexicalization | eng: Laver function |
| instance of | e/Large cardinal |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint