Skip to main content
3 of 3
minor simplification and clarification
Trevor Wilson
  • 5.5k
  • 29
  • 46

Yes. Assume ZFC. If there is a proper class of inaccessible cardinals, then Tarski's Axiom A holds because whenever $\kappa$ is inaccessible, the rank initial segment $V_\kappa$ of $V$ is a Tarski set. Conversely, if Tarski's Axiom A holds then for every set $x$ there is a Tarski set $y$ with $x \in y$. We will show that $|y|$ is an inaccessible cardinal greater than $|x|$, proving the existence of a proper class of inaccessible cardinals.

To show that the cardinality $\kappa$ of $y$ is a strong limit cardinal, given $\zeta < \kappa$ we take a subset $z$ of $y$ of size $\zeta$. We have $z \in y$ because $y$ contains its small subsets. Then we have $\mathcal{P}(z) \in y$ because $y$ is closed under the power set operation. Finally $\mathcal{P}(\mathcal{P}(z)) \subset y$ because $y$ contains all subsets of its elements. This shows that $2^{2^{\zeta}} \le \kappa$ and therefore that $2^{\zeta} < \kappa$.

To show that the cardinality $\kappa$ of $y$ is regular, notice that if $\kappa$ is singular then by the closure of $y$ under small subsets we can get a family of $\kappa^{cof(\kappa)}$ many distinct sets in $y$, contradicting the fact that $\kappa^{cof( \kappa)} > \kappa$ (which is an instance of Koenig's Theorem.)

Trevor Wilson
  • 5.5k
  • 29
  • 46