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

Streszczenie

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.

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek