About: Laver function

In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.

Property	Value
dbpprop:abstract	In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
rdfs:comment	In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
rdfs:label	Laver function
skos:subject	dbpedia:Category:Large_cardinals dbpedia:Category:Set_theory
foaf:page	http://en.wikipedia.org/wiki/Laver_function