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.
New to topics? Read the docs here!