2-huge cardinal, the most usual definition

146 Views Asked by At

How are 2-huge cardinals usually defined?

Is the definition contained in Jech's set theory book (the millennium edition)? Which page?

1

There are 1 best solutions below

1
On BEST ANSWER

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).