Tytuł pozycji:
A new large cardinal and Laver sequences for extendibles
- Tytuł:
-
A new large cardinal and Laver sequences for extendibles
- Autorzy:
-
Corazza, Paul
- Powiązania:
-
https://bibliotekanauki.pl/articles/1205450.pdf
- Data publikacji:
-
1997
- Wydawca:
-
Polska Akademia Nauk. Instytut Matematyczny PAN
- Źródło:
-
Fundamenta Mathematicae; 1997, 152, 2; 183-188
0016-2736
- Język:
-
angielski
- Prawa:
-
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
-
Biblioteka Nauki
-
Przejdź do źródła  Link otwiera się w nowym oknie
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.