4 views

1 Answers

In set theory, a Laver function is a function connected with supercompact cardinals.

4 views