A new large cardinal and Laver sequences for extendibles

Volume 152 / 1997

Paul Corazza 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.


  • Paul Corazza

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image