Unfoldable cardinal

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", 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 λ-unfoldable for all ordinals λ.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of large cardinal properties — This page is a list of some types of cardinals; it is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the… …   Wikipedia

  • Weakly compact cardinal — In mathematics, a weakly compact cardinal is a certain kind of cardinal number introduced by harvtxt|Erdös|Tarski|1961; weakly compact cardinals are large cardinals, meaning that their existence can neither be proven nor disproven from the… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • Sequence theory — is the study of conceptual sequences, representing unfolding steps of a sequence like a recipe or an algorithm. A successful sequence is one which is backtrack free.HistorySequence theory is related to various fields within mathematics and… …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • Unfold — may refer to:* Unfoldable cardinal, in math * Unfold (higher order function), in computer science a family of anamorphism functions * Unfoldment, in spirituality and physics * Unfolded protein response, in biochemistry * Equilibrium unfolding, in …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”