How are 2-huge cardinals usually defined?
Is the definition contained in Jech's set theory book (the millennium edition)? Which page?
How are 2-huge cardinals usually defined?
Is the definition contained in Jech's set theory book (the millennium edition)? Which page?
Copyright © 2021 JogjaFile Inc.
Jech defines huge cardinals in definition 20.26 on page 380 in my version:
Definition 20.26. A cardinal $\kappa$ is a huge cardinal if there exists an elementary embedding $j \colon V \to M$ ($M$ transitive) with critical point $\kappa$ such that $M^{j(\kappa)} \subseteq M$.
Definition p.386 A cardinal $\kappa$ is $n$-huge if there exists an elementary embedding $j \colon V \to M$ ($M$ transitive) with critical point $\kappa$ such that $M^{j^n(\kappa)} \subseteq M$.
At the end of the same chapter there are some exercises about huge and $n$-huge cardinals (see 20.13, 20.14 and 20.15).