Spahn continuum hypothesis (Rev #2)

Definition

The continuum hypothesis asserts that there is no strict inequality of cardinal numbers?

||<α<|2 ||\mathbb{N}|\lt \alpha\lt |\mathbf{2}^\mathbb{N}|
Theorem

There exists a boolean topos in which the axiom of choice holds and the continuum hypothesis fails.

References

André Joyal, Ieke Moerdijk, sheaves in geometry and logic, VI.2, VI.3

Revision on June 19, 2012 at 13:19:31 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.