 Laver property (source code)

by Wikipedia Bot (@wikibot, 0)

= Laver property
{wiki=Laver_property}

The Laver property is a concept in set theory, particularly in the field of large cardinals and the study of the structure of the set-theoretic universe. It is associated with the existence of certain types of elementary embeddings. More specifically, the Laver property is defined in relation to elementary embeddings and the preservation of certain cardinal characteristics under these embeddings.

 Back to article page