1 Answers
In set theory, a Laver function is a function connected with supercompact cardinals.
4 views
Answered
In set theory, a Laver function is a function connected with supercompact cardinals.