ⓘ Unfoldable cardinal. In mathematics, an unfoldable cardinal is a certain kind of large cardinal number. Formally, a cardinal number κ is λ-unfoldable if and onl ..

                                     

ⓘ Unfoldable cardinal

In mathematics, an unfoldable cardinal is a certain kind of large cardinal number.

Formally, a cardinal number κ is λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, 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 if and only if it is an λ-unfoldable for all ordinals λ.

A cardinal number κ is strongly λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model "N" with the critical point of j being κ, j κ ≥ λ, and Vλ is a subset of N. Without loss of generality, we can demand also that N contains all its sequences of length λ.

Likewise, a cardinal is strongly unfoldable if and only if it is strongly λ-unfoldable for all λ.

These properties are essentially weaker versions of strong and supercompact cardinals, consistent with V = L. Many theorems related to these cardinals have generalizations to their unfoldable or strongly unfoldable counterparts. For example, the existence of a strongly unfoldable implies the consistency of a slightly weaker version of the proper forcing axiom.

A Ramsey cardinal is unfoldable, and will be strongly unfoldable in L. It may fail to be strongly unfoldable in V, however.

In L, any unfoldable cardinal is strongly unfoldable; thus unfoldables and strongly unfoldables have the same consistency strength.

A cardinal k is κ-strongly unfoldable, and κ-unfoldable, if and only if it is weakly compact. A κ+ω-unfoldable cardinal is totally indescribable and preceded by a stationary set of totally indescribable cardinals.

                                     
  • Unfold may refer to: Unfoldable cardinal in mathematics Unfold higher - order function in computer science a family of anamorphism functions Unfoldment
  • shrewd cardinals compare to unfoldable cardinals however. λ - shrewdness is an improved version of λ - indescribability, as defined in Drake this cardinal property
  • cardinal is strongly unfoldable and therefore totally indescribable. Kanamori, Akihiro 2003 The Higher Infinite : Large Cardinals in Set Theory from
  • cardinal Weakly hyper - Woodin cardinal Weakly inaccessible cardinal Woodin cardinal Unfoldable cardinal Entscheidungsproblem Decision problem Decidability logic
  • predicates. For every set S of cardinality κ of subsets of κ, there is a non - trivial κ - complete filter that decides S. κ is κ - unfoldable κ is inaccessible and
  • king s widowed mother, Anne of Austria, and her prime minister, Cardinal Mazarin, unfolds as intrigue and political discord ignite the Fronde. The second
  • Roger Michael Cardinal Mahony KGCHS born February 27, 1936 is an American cardinal and retired prelate of the Roman Catholic Church who served as Archbishop
  • Clarendon Press, 1914. William M. Cunningham, The Unfolding of the Little Flower, with a Preface by Cardinal Gasquet. London: Kingscote Press, 1916. Father
  • In Gaussian optics, the cardinal points consist of three pairs of points located on the optical axis of a rotationally symmetric, focal, optical system
  • National League Championship Series was played between the St. Louis Cardinals and the Atlanta Braves from October 6 to 10. Despite their history as
  • relation unfoldable cardinal An unfoldable cardinal a cardinal κ such that for every ordinal λ and every transitive model M of cardinality κ of ZFC - minus - power