1 problem

0 votes0 replies0 views
Ultimate L implies the Ultrapower Axiom
The axiom $V=\operatorname{Ultimate}L$ is the assertion that the universe is Ultimate $L$ . The Ultrapower Axiom is the assertion that any pair of ultrapower embeddings has an inter…
Conjecturerefutedinner-model-theory ultimate-l ultrapower-axiomarXiv posted 2 days ago

Ultimate L implies the Ultrapower Axiom