Laver function

The Laver function is a concept from set theory and particularly from the study of large cardinals. It is named after the mathematician Richard Laver, who introduced it in the context of the properties of certain large cardinals known as measurable cardinals.