Definition:Strongly Inaccessible Cardinal

From ProofWiki
Jump to navigation Jump to search

Definition

An infinite cardinal $\aleph_\kappa$ is called a strongly inaccessible cardinal if and only if:

$(1): \quad \aleph_\kappa$ is a weakly inaccessible cardinal
$(2): \quad \forall x \in \kappa: \card {\powerset x} \in \kappa$


Sources