nLab
inaccessible cardinal

Context

Universes

Foundations

Contents

Idea

An inaccessible cardinal is a cardinal number κ\kappa which cannot be “accessed” from smaller cardinals using only the basic operations on cardinals. It follows that the collection of sets smaller than κ\kappa satisfies the axioms of set theory.

Definition

An inaccessible cardinal is a regular strong limit cardinal. Here, κ\kappa is regular if every sum of <κ\lt\kappa cardinals, each of which is <κ\lt\kappa, is itself <κ\lt\kappa; κ\kappa is a strong limit if λ<κ\lambda\lt \kappa implies 2 λ<κ2^\lambda\lt\kappa. In other words, the class of sets of cardinality <κ\lt\kappa is closed under the operations of indexed unions and taking power sets.

By this definition, 00 (the cardinality of the empty set), 11 (the cardinality of the point), and 0\aleph_0 (the cardinality of the set of natural numbers) are all inaccessible. Usually one explicitly requires inaccessible cardinals to be uncountable, so as to exclude these cases. One can also justify excluding 00 and 11 by interpreting the requirement that 1<κ1 \lt \kappa as the nullary part of a requirement whose binary part is closure under indexed unions.

A weakly inaccessible cardinal is a regular weak limit cardinal; sometimes inacessible cardinals are called strongly inaccessible in contrast. Here, κ\kappa is a weak limit if λ<κ\lambda\lt\kappa implies λ +<κ\lambda^+\lt\kappa, where λ +\lambda^+ is the smallest cardinal number >λ\gt\lambda. Every strongly inaccessible cardinal is also weakly inaccessible, while the converse is true assuming the continuum hypothesis. A weakly inaccessible cardinal may be strengthened to produce a (generally larger) strongly inaccessible cardinal.

Mike: What does that last sentence mean? It seems obviously false to me in the absence of CH.

Toby: It means that if a weakly inaccessible cardinal exists, then a strongly inaccessible cardinal exists, but I couldn't find the formula for it. Something like κ\beth_\kappa is strongly inaccessible if κ\kappa is weakly inaccessible (note that κ=κ\aleph_\kappa = \kappa then), but I couldn't verify that (or check how it holds up in the absence of choice).

Mike: I don’t believe that. Suppose that the smallest weakly inaccessible is not strongly inaccessible, and let κ\kappa be the smallest strongly inaccessible. Then V κV_\kappa is a model of set theory in which there are weakly inaccessibles but not strong ones. I’m almost certain there is no reason for the smallest weakly inaccessible to be strongly inaccessible.

JCMcKeown: Surely κ\beth_\kappa has cofinality at most κ\kappa, so it can’t be regular. Maybe the strengthening involves some forcing or other change of universe? E.g., you can forcibly shift 2 λ=λ +2^\lambda = \lambda^+ for λ<κ\lambda \lt \kappa, and then by weak inaccessibility, etc… I think. Don’t trust me. —- (some days later) More than that: since the ordinals are well ordered, if there is any strongly inaccessible cardinal greater than κ\kappa, then there is a least one, say θ\theta. Then V θV_\theta is a universe with a weakly inaccessible cardinal and no greater strongly inaccessible cardinal. Ih! Mike said that already… So whatever construction will have to work the other way around: if there is a weakly inaccessible cardinal that isn’t strongly inaccessible, and if furthermore a weakly inaccessible cardinal implies a strongly inaccessible cardinal, then the strongly inaccessible cardinal implied must be less than κ\kappa. And that sounds really weird.

Properties

A cardinal κ\kappa is inaccessible precisely when the κ\kappath level V κV_\kappa of the von Neumann hierarchy is a Grothendieck universe (Williams), and hence in particular itself a model of axiomatic set theory. For this reason, the existence of inaccessible cardinals cannot be proven in ordinary axiomatic set theory such as ZFC. The axiom asserting that there exists an inaccessible (which amounts to the existence of a Grothendieck universe) is thus the beginning of the study of large cardinals. If one thinks of 0\aleph_0 as already an inaccessible cardinal, then the axiom of infinity may be seen as itself the first large cardinal axiom.

References

The proof that a Grothendieck universe is equivalently a set of κ\kappa-small sets for κ\kappa an inaccessible cardinal is in

  • N. H. Williams, On Grothendieck universes, Compositio Mathematica, tome 21 no 1 (1969) (numdam)

Revised on September 11, 2012 23:45:23 by Urs Schreiber (131.174.190.72)