# Difference between revisions of "Inaccessible"

(Created page with " Inaccessible cardinals are the traditional entry-point to the large cardinal hierarchy (although there are some weaker large cardinal notions, such as universe cardinals). ...") |
|||

Line 1: | Line 1: | ||

− | |||

Inaccessible cardinals are the traditional entry-point to the large cardinal hierarchy (although there are some weaker large cardinal notions, such as [[universe]] cardinals). | Inaccessible cardinals are the traditional entry-point to the large cardinal hierarchy (although there are some weaker large cardinal notions, such as [[universe]] cardinals). | ||

Line 7: | Line 6: | ||

* Every inaccessible cardinal $\kappa$ is a [[beth fixed point]], and consequently $V_\kappa=H_\kappa$. | * Every inaccessible cardinal $\kappa$ is a [[beth fixed point]], and consequently $V_\kappa=H_\kappa$. | ||

* (Zermelo) The models of second-order ZFC are precisely the models $\langle V_\kappa,\in\rangle$ for an inaccessible cardinal $\kappa$. | * (Zermelo) The models of second-order ZFC are precisely the models $\langle V_\kappa,\in\rangle$ for an inaccessible cardinal $\kappa$. | ||

+ | * Solovay proved that if there is an inaccessible cardinal, then there is an inner model of a forcing extension satisfying ZF+DC in which every set of reals is Lebesgue measurable there. (citation) | ||

+ | * Shelah proved that Solovay's use of the inaccessible cardinal is necessary, in the sense that in any model of ZF+DC in which every set of reals is Lebesgue measurable, there is an inner model of ZFC with an inaccessible cardinal. | ||

+ | * Consequently, the consistency of the existence of an inaccessible cardinal with ZFC is equivalent to the impossibility of our constructing a non-measurable set of reals using only ZF+DC. | ||

* The uncountable [[inaccessible#Grothendieck_universe | Grothedieck universes]] are precisely the sets of the form $V_\kappa$ for an inaccessible cardinal $\kappa$. | * The uncountable [[inaccessible#Grothendieck_universe | Grothedieck universes]] are precisely the sets of the form $V_\kappa$ for an inaccessible cardinal $\kappa$. | ||

− | + | * The [[inaccessible#universe_axiom | universe axiom]] is equivalent to the assertion that there is a proper class of inaccessible cardinals. | |

− | + | ||

==Weakly inaccessible== | ==Weakly inaccessible== | ||

Line 15: | Line 16: | ||

A cardinal $\kappa$ is ''weakly inaccessible'' if it is an [[uncountable]] [[regular]] [[limit]] cardinal. Under the [[GCH]], this is equivalent to inaccessibility, since under GCH every limit cardinal is a strong limit cardinal. So the difference between weak and strong inaccessibility only arises when GCH fails badly. Every inaccessible cardinal is weakly inaccessible, but forcing arguments show that any inaccessible cardinal can become a non-inaccessible weakly inaccessible cardinal in a forcing extension, such as after adding an enormous number of Cohen reals (this forcing is c.c.c. and hence preserves all cardinals and cofinalities and hence also all regular limit cardinals). Meanwhile, every weakly inaccessible cardinal is fully inaccessible in any inner model of GCH, since it will remain a regular limit cardinal in that model and hence also be a strong limit there. In particular, every weakly inaccessible cardinal is inaccessible in the constructible universe $L$. Consequently, although the two large cardinal notions are not provably equivalent, they are equiconsistent. | A cardinal $\kappa$ is ''weakly inaccessible'' if it is an [[uncountable]] [[regular]] [[limit]] cardinal. Under the [[GCH]], this is equivalent to inaccessibility, since under GCH every limit cardinal is a strong limit cardinal. So the difference between weak and strong inaccessibility only arises when GCH fails badly. Every inaccessible cardinal is weakly inaccessible, but forcing arguments show that any inaccessible cardinal can become a non-inaccessible weakly inaccessible cardinal in a forcing extension, such as after adding an enormous number of Cohen reals (this forcing is c.c.c. and hence preserves all cardinals and cofinalities and hence also all regular limit cardinals). Meanwhile, every weakly inaccessible cardinal is fully inaccessible in any inner model of GCH, since it will remain a regular limit cardinal in that model and hence also be a strong limit there. In particular, every weakly inaccessible cardinal is inaccessible in the constructible universe $L$. Consequently, although the two large cardinal notions are not provably equivalent, they are equiconsistent. | ||

+ | ==Levy collapse== | ||

+ | |||

+ | The Levy collapse of an inaccessible cardinal $\kappa$ is the $\lt\kappa$-support product of $\text{Coll}(\omega,\gamma)$ for all $\gamma\lt\kappa$. This forcing collapses all cardinals below $\kappa$ to $\omega$, but since it is $\kappa$-c.c., it preserves $\kappa$ itself, and hence ensures $\kappa=\omega_1$ in the forcing extension. | ||

+ | |||

+ | ==Inaccessible to reals== | ||

+ | |||

+ | A cardinal $\kappa$ is ''inaccessible to reals'' if it is inaccessible in $L[x]$ for every real $x$. For example, after the Levy collapse of an inaccessible cardinal $\kappa$, which forces $\kappa=\omega_1$ in the extension, the cardinal $\kappa$ is of course no longer inaccessible, but it remains inaccessible to reals. | ||

==Grothendieck universe== | ==Grothendieck universe== |

## Revision as of 19:11, 27 December 2011

Inaccessible cardinals are the traditional entry-point to the large cardinal hierarchy (although there are some weaker large cardinal notions, such as universe cardinals).

A cardinal $\kappa$ is *inaccessible*, also equivalently called *strongly inaccessible*, if it is an uncountable regular strong limit cardinal.

- If $\kappa$ is inaccessible, then $V_\kappa$ is a model of ZFC, but this is not an equivalence, since the weaker notion of universe cardinal also have this feature, and are not all regular when they exist.
- Every inaccessible cardinal $\kappa$ is a beth fixed point, and consequently $V_\kappa=H_\kappa$.
- (Zermelo) The models of second-order ZFC are precisely the models $\langle V_\kappa,\in\rangle$ for an inaccessible cardinal $\kappa$.
- Solovay proved that if there is an inaccessible cardinal, then there is an inner model of a forcing extension satisfying ZF+DC in which every set of reals is Lebesgue measurable there. (citation)
- Shelah proved that Solovay's use of the inaccessible cardinal is necessary, in the sense that in any model of ZF+DC in which every set of reals is Lebesgue measurable, there is an inner model of ZFC with an inaccessible cardinal.
- Consequently, the consistency of the existence of an inaccessible cardinal with ZFC is equivalent to the impossibility of our constructing a non-measurable set of reals using only ZF+DC.
- The uncountable Grothedieck universes are precisely the sets of the form $V_\kappa$ for an inaccessible cardinal $\kappa$.
- The universe axiom is equivalent to the assertion that there is a proper class of inaccessible cardinals.

## Contents

## Weakly inaccessible

A cardinal $\kappa$ is *weakly inaccessible* if it is an uncountable regular limit cardinal. Under the GCH, this is equivalent to inaccessibility, since under GCH every limit cardinal is a strong limit cardinal. So the difference between weak and strong inaccessibility only arises when GCH fails badly. Every inaccessible cardinal is weakly inaccessible, but forcing arguments show that any inaccessible cardinal can become a non-inaccessible weakly inaccessible cardinal in a forcing extension, such as after adding an enormous number of Cohen reals (this forcing is c.c.c. and hence preserves all cardinals and cofinalities and hence also all regular limit cardinals). Meanwhile, every weakly inaccessible cardinal is fully inaccessible in any inner model of GCH, since it will remain a regular limit cardinal in that model and hence also be a strong limit there. In particular, every weakly inaccessible cardinal is inaccessible in the constructible universe $L$. Consequently, although the two large cardinal notions are not provably equivalent, they are equiconsistent.

## Levy collapse

The Levy collapse of an inaccessible cardinal $\kappa$ is the $\lt\kappa$-support product of $\text{Coll}(\omega,\gamma)$ for all $\gamma\lt\kappa$. This forcing collapses all cardinals below $\kappa$ to $\omega$, but since it is $\kappa$-c.c., it preserves $\kappa$ itself, and hence ensures $\kappa=\omega_1$ in the forcing extension.

## Inaccessible to reals

A cardinal $\kappa$ is *inaccessible to reals* if it is inaccessible in $L[x]$ for every real $x$. For example, after the Levy collapse of an inaccessible cardinal $\kappa$, which forces $\kappa=\omega_1$ in the extension, the cardinal $\kappa$ is of course no longer inaccessible, but it remains inaccessible to reals.

## Grothendieck universe

The concept of Grothendieck universes arose in category theory out of the desire to create a hierarchy of notions of smallness, so that one may form such categories as the category of all small groups, or small rings or small categories, without running into the difficulties of Russell's paradox.

A *Grothendieck universe* is a transitive set $W$ that is closed under pairing, power set and unions. That is,

- (transitivity) If $b\in a\in W$, then $b\in W$.
- (pairing) If $a,b\in W$, then $\{a,b\}\in W$.
- (power set) If $a\in W$, then $P(a)\in W$.
- (union) If $a\in W$, then $\cup a\in W$.

It follows by a simple inductive argument that the Grothendieck universes are precisely the sets of the form $V_\kappa$, where $\kappa$ is either $0$, $\omega$ or an inaccessible cardinal.

## Universe axiom

The *Grothendieck universe axiom* is the assertion that every set is an element of a Grothendieck universe. This is equivalent to the assertion that the inaccessible cardinals form a proper class.