✦ LIBER ✦

Reflection of elementary embedding axioms on the L[Vλ+1] hierarchy

✍ Scribed by Richard Laver

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 149 KB
Volume: 107
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00035-x

No coin nor oath required. For personal study only.

✦ Synopsis

Say that the property ( ) of a cardinal strongly implies the property ( ). If and only if for every ; ( ) implies that ( ) and that for some ¡ ; ( ). Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms of the form "there is an elementary embedding j : L [V +1 ] → L [V +1 ] with = sup n j n (cr(j))".