Unfoldable cardinal
From Free net encyclopedia
(Difference between revisions)
| Revision as of 22:49, 19 December 2005 Frege (Talk | contribs) removed disambiguity of critical point ← Previous diff |
Current revision Frege (Talk | contribs) removed disambiguity of critical point |
Current revision
In mathematics, an unfoldable cardinal is a certain kind of large cardinal number.
Formally, a cardinal number κ is λ-unfoldable iff for every model M of cardinality κ of ZFC-minus-power set, such that κ ∈ M, there is a non-trivial elementary embedding j of M into a transitive model with the critical point of j being κ and j(κ) ≥ λ.
A cardinal is unfoldable iff it is λ-unfoldable for all ordinals λ.
