1 paper · 1 filter
Andrew D. Brooke-Taylor, Scott Cramer, Sheila K. Miller Edwards
The set-theoretic large cardinal axiom known as I3 posits the existence of a non-trivial rank-to-rank embedding from an initial segment of the universe of sets into itself. Laver s…