Laver function
http://dbpedia.org/resource/Laver_function an entity of type: WikicatLargeCardinals
In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
rdf:langString
Inom mängdteori är en Laverfunktion, uppkallat efter som upptäckte dem, en funktion relaterad till ett .
rdf:langString
rdf:langString
Laver function
rdf:langString
Laverfunktion
xsd:integer
19089448
xsd:integer
1117467281
rdf:langString
In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
rdf:langString
Inom mängdteori är en Laverfunktion, uppkallat efter som upptäckte dem, en funktion relaterad till ett .
xsd:nonNegativeInteger
1615