Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Laver function
open-in-new
<p>In <a href="/facts/Set_theory/1ptfsvUP">set theory</a>, a Laver function (or Laver diamond, named after its inventor, <a href="/facts/Richard_Laver/YsbFHbgA">Richard Laver</a>) is a function connected with <a href="/facts/Supercompact_cardinal/I9FN4T8T">supercompact cardinals</a>. </p>