A new large cardinal and Laver sequences for extendibles
Volume 152 / 1997
Fundamenta Mathematicae 152 (1997), 183-188
DOI: 10.4064/fm-152-2-183-188
Abstract
We define a new large cardinal axiom that fits between $A_3$ and $A_4$ in the hierarchy of axioms described in [SRK]. We use this new axiom to obtain a Laver sequence for extendible cardinals, improving the known large cardinal upper bound for the existence of such sequences.
