{"history":[],"article":{"id":"d5c0542e-24ba-4651-993c-c2e8332db6fd","title":"Woodin cardinal","slug":"woodin-cardinal","content":":::summary\n:::\n\n# \nIn [set theory](https://bliptext.com/articles/set-theory), a **Woodin cardinal** (named for [W. Hugh Woodin](https://bliptext.com/articles/w-hugh-woodin)) is a [cardinal number](https://bliptext.com/articles/cardinal-number) \\lambda such that for all functions, there exists a cardinal with and an [elementary embedding](https://bliptext.com/articles/elementary-embedding) j : V \\to M from the [Von Neumann universe](https://bliptext.com/articles/von-neumann-universe) V into a transitive [inner model](https://bliptext.com/articles/inner-model) M with [critical point](https://bliptext.com/articles/critical-point-set-theory) \\kappa and.\nAn equivalent definition is this: \\lambda is Woodin [if and only if](https://bliptext.com/articles/if-and-only-if) \\lambda is [strongly inaccessible](https://bliptext.com/articles/inaccessible-cardinal) and for all there exists a which is <\\lambda-A-strong.\n\\lambda _A being <\\lambda-A-strong means that for all [ordinals](https://bliptext.com/articles/ordinal-number), there exist a j: V \\to M which is an [elementary embedding](https://bliptext.com/articles/elementary-embedding) with [critical point](https://bliptext.com/articles/critical-point-set-theory) \\lambda _A, , and.\n(See also [strong cardinal](https://bliptext.com/articles/strong-cardinal).)\nA Woodin cardinal is preceded by a [stationary set](https://bliptext.com/articles/stationary-set) of [measurable cardinals](https://bliptext.com/articles/measurable-cardinal), and thus it is a [Mahlo cardinal](https://bliptext.com/articles/mahlo-cardinal).\nHowever, the first Woodin cardinal is not even [weakly compact](https://bliptext.com/articles/weakly-compact-cardinal).\n\n# Explanation\nThe hierarchy V_\\alpha (known as the von Neumann hierarchy) is defined by [transfinite recursion](https://bliptext.com/articles/transfinite-recursion) on \\alpha:\nFor any ordinal \\alpha, V_\\alpha is a set.\nThe union of the sets V_\\alpha for all ordinals \\alpha is no longer a set, but a proper class.\nSome of the sets V_\\alpha have set-theoretic properties, for example when \\kappa is an inaccessible cardinal, V_\\kappa satisfies second-order ZFC (\"satisfies\" here means the notion of [satisfaction](https://bliptext.com/articles/first-order-logic) from first-order logic).\nFor a [transitive](https://bliptext.com/articles/transitive-set) [class](https://bliptext.com/articles/proper-class) M, a function j:V\\to M is said to be an elementary embedding if for any formula \\phi with free variables in the language of set theory, it is the case that iff, where \\vDash is first-order logic's notion of satisfaction as before.\nAn elementary embedding j is called nontrivial if it is not the identity.\nIf j:V\\to M is a nontrivial elementary embedding, there exists an ordinal \\kappa such that, and the least such \\kappa is called the critical point of j.\nMany large cardinal properties can be phrased in terms of elementary embeddings.\nFor an ordinal \\beta, a cardinal \\kappa is said to be \\beta-strong if a transitive class M can be found such that there is a nontrivial elementary embedding j:V\\to M whose critical point is \\kappa, and in addition.\nA strengthening of the notion of \\beta-strong cardinal is the notion of A-strongness of a cardinal \\kappa in a greater cardinal \\delta: if \\kappa and \\delta are cardinals with, and A is a subset of V_\\delta, then \\kappa is said to be A-strong in \\delta if for all , there is a nontrivial elementary embedding j:V\\to M witnessing that \\kappa is \\beta-strong, and in addition.\n(This is a strengthening, as when letting, \\kappa being A-strong in \\delta implies that \\kappa is \\beta-strong for all , as given any , must be equal to , V_\\delta must be a subset of j(A) and therefore a subset of the range of j.) Finally, a cardinal \\delta is Woodin if for any choice of , there exists a such that \\kappa is A-strong in \\delta.\n\n# Consequences\nWoodin cardinals are important in [descriptive set theory](https://bliptext.com/articles/descriptive-set-theory).\nBy a result of [Martin](https://bliptext.com/articles/donald-a-martin) and [Steel](https://bliptext.com/articles/john-r-steel), existence of infinitely many Woodin cardinals implies [projective determinacy](https://bliptext.com/articles/projective-determinacy), which in turn implies that every projective set is [Lebesgue measurable](https://bliptext.com/articles/lebesgue-measurable), has the [Baire property](https://bliptext.com/articles/baire-property) (differs from an open set by a [meager set](https://bliptext.com/articles/meagre-set), that is, a set which is a countable union of [nowhere dense sets](https://bliptext.com/articles/nowhere-dense-set)), and the [perfect set property](https://bliptext.com/articles/[perfect](https://bliptext.com/articles/perfect-set)-set-property) (is either countable or contains a [perfect](https://bliptext.com/articles/perfect-set) subset).\nThe consistency of the existence of Woodin cardinals can be proved using determinacy hypotheses.\nWorking in [ZF](https://bliptext.com/articles/zermelo-fraenkel-set-theory)+[AD](https://bliptext.com/articles/axiom-of-determinacy)+[DC](https://bliptext.com/articles/axiom-of-dependent-choice) one can prove that \\Theta _0 is Woodin in the class of hereditarily ordinal-definable sets.\n\\Theta _0 is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see [Θ (set theory)](https://bliptext.com/articles/set-theory)).\nMitchell and Steel showed that assuming a Woodin cardinal exists, there is an [inner model](https://bliptext.com/articles/inner-model) containing a Woodin cardinal in which there is a \\Delta_4^1-well-ordering of the reals, [◊](https://bliptext.com/articles/diamond-principle) holds, and the [generalized continuum hypothesis](https://bliptext.com/articles/generalized-continuum-hypothesis) holds.\n[Shelah](https://bliptext.com/articles/saharon-shelah) proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on \\omega_1 is \\aleph_2-saturated.\nWoodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an \\aleph_1-dense ideal over \\aleph_1.\n\n# Hyper-Woodin cardinals\nA [cardinal](https://bliptext.com/articles/cardinal-number) \\kappa is called hyper-Woodin if there exists a [normal measure](https://bliptext.com/articles/normal-measure) U on \\kappa such that for every set S, the set\nis in U.\n\\lambda is <\\kappa-S-strong if and only if for each there is a [transitive class](https://bliptext.com/articles/transitive-class) N and an [elementary embedding](https://bliptext.com/articles/elementary-embedding)\nwith\nThe name alludes to the classical result that a cardinal is Woodin if and only if for every set S, the set\nis a [stationary set](https://bliptext.com/articles/stationary-set).\nThe measure U will contain the set of all [Shelah cardinals](https://bliptext.com/articles/shelah-cardinal) below \\kappa.\n\n# Weakly hyper-Woodin cardinals\nA [cardinal](https://bliptext.com/articles/cardinal-number) \\kappa is called weakly hyper-Woodin if for every set S there exists a [normal measure](https://bliptext.com/articles/normal-measure) U on \\kappa such that the set is < \\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal)\\} is in U. \\lambda is <\\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal) if and only if for each there is a transitive class N and an elementary\nembedding j : V \\to N with, , and\nThe name alludes to the classic result that a cardinal is Woodin if for every set S, the set is < \\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal)\\} is stationary.\nThe difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of U does not depend on the choice of the set S for hyper-Woodin cardinals.\n\n# Woodin-in-the-next-admissible cardinals\nLet \\delta be a cardinal and let \\alpha be the least [admissible ordinal](https://bliptext.com/articles/admissible-ordinal) greater than \\delta.\nThe cardinal \\delta is said to be Woodin-in-the-next-admissible if for any function such that, there exists such that , and there is an extender such that and.\nThese cardinals appear when building models from iteration trees.\np.4\n\n# Notes and references","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-25T18:52:27.154Z","updated_at":"2025-01-25T18:52:27.154Z","search_vector":"'cardin':2 'woodin':1","search_content":" \n \n\n# \nIn [set theory](https://bliptext.com/articles/set-theory), a **Woodin cardinal** (named for [W. Hugh Woodin](https://bliptext.com/articles/w-hugh-woodin)) is a [cardinal number](https://bliptext.com/articles/cardinal-number) \\lambda such that for all functions, there exists a cardinal with and an [elementary embedding](https://bliptext.com/articles/elementary-embedding) j : V \\to M from the [Von Neumann universe](https://bliptext.com/articles/von-neumann-universe) V into a transitive [inner model](https://bliptext.com/articles/inner-model) M with [critical point](https://bliptext.com/articles/critical-point-set-theory) \\kappa and.\nAn equivalent definition is this: \\lambda is Woodin [if and only if](https://bliptext.com/articles/if-and-only-if) \\lambda is [strongly inaccessible](https://bliptext.com/articles/inaccessible-cardinal) and for all there exists a which is <\\lambda-A-strong.\n\\lambda _A being <\\lambda-A-strong means that for all [ordinals](https://bliptext.com/articles/ordinal-number), there exist a j: V \\to M which is an [elementary embedding](https://bliptext.com/articles/elementary-embedding) with [critical point](https://bliptext.com/articles/critical-point-set-theory) \\lambda _A, , and.\n(See also [strong cardinal](https://bliptext.com/articles/strong-cardinal).)\nA Woodin cardinal is preceded by a [stationary set](https://bliptext.com/articles/stationary-set) of [measurable cardinals](https://bliptext.com/articles/measurable-cardinal), and thus it is a [Mahlo cardinal](https://bliptext.com/articles/mahlo-cardinal).\nHowever, the first Woodin cardinal is not even [weakly compact](https://bliptext.com/articles/weakly-compact-cardinal).\n\n# Explanation\nThe hierarchy V_\\alpha (known as the von Neumann hierarchy) is defined by [transfinite recursion](https://bliptext.com/articles/transfinite-recursion) on \\alpha:\nFor any ordinal \\alpha, V_\\alpha is a set.\nThe union of the sets V_\\alpha for all ordinals \\alpha is no longer a set, but a proper class.\nSome of the sets V_\\alpha have set-theoretic properties, for example when \\kappa is an inaccessible cardinal, V_\\kappa satisfies second-order ZFC (\"satisfies\" here means the notion of [satisfaction](https://bliptext.com/articles/first-order-logic) from first-order logic).\nFor a [transitive](https://bliptext.com/articles/transitive-set) [class](https://bliptext.com/articles/proper-class) M, a function j:V\\to M is said to be an elementary embedding if for any formula \\phi with free variables in the language of set theory, it is the case that iff, where \\vDash is first-order logic's notion of satisfaction as before.\nAn elementary embedding j is called nontrivial if it is not the identity.\nIf j:V\\to M is a nontrivial elementary embedding, there exists an ordinal \\kappa such that, and the least such \\kappa is called the critical point of j.\nMany large cardinal properties can be phrased in terms of elementary embeddings.\nFor an ordinal \\beta, a cardinal \\kappa is said to be \\beta-strong if a transitive class M can be found such that there is a nontrivial elementary embedding j:V\\to M whose critical point is \\kappa, and in addition.\nA strengthening of the notion of \\beta-strong cardinal is the notion of A-strongness of a cardinal \\kappa in a greater cardinal \\delta: if \\kappa and \\delta are cardinals with, and A is a subset of V_\\delta, then \\kappa is said to be A-strong in \\delta if for all , there is a nontrivial elementary embedding j:V\\to M witnessing that \\kappa is \\beta-strong, and in addition.\n(This is a strengthening, as when letting, \\kappa being A-strong in \\delta implies that \\kappa is \\beta-strong for all , as given any , must be equal to , V_\\delta must be a subset of j(A) and therefore a subset of the range of j.) Finally, a cardinal \\delta is Woodin if for any choice of , there exists a such that \\kappa is A-strong in \\delta.\n\n# Consequences\nWoodin cardinals are important in [descriptive set theory](https://bliptext.com/articles/descriptive-set-theory).\nBy a result of [Martin](https://bliptext.com/articles/donald-a-martin) and [Steel](https://bliptext.com/articles/john-r-steel), existence of infinitely many Woodin cardinals implies [projective determinacy](https://bliptext.com/articles/projective-determinacy), which in turn implies that every projective set is [Lebesgue measurable](https://bliptext.com/articles/lebesgue-measurable), has the [Baire property](https://bliptext.com/articles/baire-property) (differs from an open set by a [meager set](https://bliptext.com/articles/meagre-set), that is, a set which is a countable union of [nowhere dense sets](https://bliptext.com/articles/nowhere-dense-set)), and the [[perfect](https://bliptext.com/articles/perfect-set) set property](https://bliptext.com/articles/[perfect](https://bliptext.com/articles/perfect-set)-set-property) (is either countable or contains a [perfect](https://bliptext.com/articles/perfect-set) subset).\nThe consistency of the existence of Woodin cardinals can be proved using determinacy hypotheses.\nWorking in [ZF](https://bliptext.com/articles/zermelo-fraenkel-set-theory)+[AD](https://bliptext.com/articles/axiom-of-determinacy)+[DC](https://bliptext.com/articles/axiom-of-dependent-choice) one can prove that \\Theta _0 is Woodin in the class of hereditarily ordinal-definable sets.\n\\Theta _0 is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see [Θ (set theory)](https://bliptext.com/articles/set-theory)).\nMitchell and Steel showed that assuming a Woodin cardinal exists, there is an [inner model](https://bliptext.com/articles/inner-model) containing a Woodin cardinal in which there is a \\Delta_4^1-well-ordering of the reals, [◊](https://bliptext.com/articles/diamond-principle) holds, and the [generalized continuum hypothesis](https://bliptext.com/articles/generalized-continuum-hypothesis) holds.\n[Shelah](https://bliptext.com/articles/saharon-shelah) proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on \\omega_1 is \\aleph_2-saturated.\nWoodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an \\aleph_1-dense ideal over \\aleph_1.\n\n# Hyper-Woodin cardinals\nA [cardinal](https://bliptext.com/articles/cardinal-number) \\kappa is called hyper-Woodin if there exists a [normal measure](https://bliptext.com/articles/normal-measure) U on \\kappa such that for every set S, the set\nis in U.\n\\lambda is <\\kappa-S-strong if and only if for each there is a [transitive class](https://bliptext.com/articles/transitive-class) N and an [elementary embedding](https://bliptext.com/articles/elementary-embedding)\nwith\nThe name alludes to the classical result that a cardinal is Woodin if and only if for every set S, the set\nis a [stationary set](https://bliptext.com/articles/stationary-set).\nThe measure U will contain the set of all [Shelah cardinals](https://bliptext.com/articles/shelah-cardinal) below \\kappa.\n\n# Weakly hyper-Woodin cardinals\nA [cardinal](https://bliptext.com/articles/cardinal-number) \\kappa is called weakly hyper-Woodin if for every set S there exists a [normal measure](https://bliptext.com/articles/normal-measure) U on \\kappa such that the set is < \\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal)\\} is in U. \\lambda is <\\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal) if and only if for each there is a transitive class N and an elementary\nembedding j : V \\to N with, , and\nThe name alludes to the classic result that a cardinal is Woodin if for every set S, the set is < \\kappa-S-[strong](https://bliptext.com/articles/strong-cardinal)\\} is stationary.\nThe difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of U does not depend on the choice of the set S for hyper-Woodin cardinals.\n\n# Woodin-in-the-next-admissible cardinals\nLet \\delta be a cardinal and let \\alpha be the least [admissible ordinal](https://bliptext.com/articles/admissible-ordinal) greater than \\delta.\nThe cardinal \\delta is said to be Woodin-in-the-next-admissible if for any function such that, there exists such that , and there is an extender such that and.\nThese cardinals appear when building models from iteration trees.\np.4\n\n# Notes and references","revisionCount":0},"hasMore":false,"nextCursor":null}

History