A new large cardinal and Laver sequences for extendibles
Tom 152 / 1997
Fundamenta Mathematicae 152 (1997), 183-188 DOI: 10.4064/fm-152-2-183-188
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.