# Difference between revisions of "Woodin"

From Cantor's Attic

Line 1: | Line 1: | ||

{{DISPLAYTITLE:Woodin Cardinal}} | {{DISPLAYTITLE:Woodin Cardinal}} | ||

+ | Woodin cardinals are a generalization of the notion of [[strong]] cardinals and they have been used to calibrate the exact proof-theoretic strength of the [[Axiom of Determinacy]]. Woodin cardinals are weaker than [[superstrong]] cardinals in consistency strength and fail to be [[weakly compact]] in general, since they are not $\Pi_1^1$ [[indescribable]]. Their exact definition has several equivalent but different characterizations, each of which is somewhat technical in nature. Nevertheless, an inner model theory encapsulating infinitely many Woodin cardinals and slightly beyond has been developed. | ||

+ | |||

− | |||

− | |||

− | |||

<biblio> | <biblio> |

## Revision as of 14:00, 10 March 2012

Woodin cardinals are a generalization of the notion of strong cardinals and they have been used to calibrate the exact proof-theoretic strength of the Axiom of Determinacy. Woodin cardinals are weaker than superstrong cardinals in consistency strength and fail to be weakly compact in general, since they are not $\Pi_1^1$ indescribable. Their exact definition has several equivalent but different characterizations, each of which is somewhat technical in nature. Nevertheless, an inner model theory encapsulating infinitely many Woodin cardinals and slightly beyond has been developed.

This article is a stub. Please help us to improve Cantor's Attic by adding information.