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.
and 23 Related for: Unfoldable cardinal information
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...
cardinal is strongly unfoldable and therefore totally indescribable. Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from...
Look up unfold in Wiktionary, the free dictionary. Unfold may refer to: Unfoldablecardinal, in mathematics Unfold (higher-order function), in computer...
relation unfoldablecardinal An unfoldablecardinal a cardinal κ such that for every ordinal λ and every transitive model M of cardinality κ of ZFC-minus-power...
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...
A cardinal is strongly unfoldable iff it is shrewd. λ-shrewdness is an improved version of λ-indescribability, as defined in Drake; this cardinal property...
Church. A cardinal since February 2014, he has served as the Vatican's Secretary of State since October 2013 and a member of the Council of Cardinal Advisers...
A papal conclave is a gathering of the College of Cardinals convened to elect a bishop of Rome, also known as the pope. Catholics consider the pope to...
Francis Aidan Cardinal Gasquet OSB (born Francis Neil Gasquet; 5 October 1846 – 5 April 1929) was an English Benedictine monk and historical scholar. He...
king's widowed mother, Anne of Austria, and her prime minister, Cardinal Mazarin, unfolds as intrigue and political discord ignite the Fronde. The second...
Nicholas of Kues and Nicolaus Cusanus (/kjuːˈseɪnəs/), was a German Catholic cardinal and polymath active as a philosopher, theologian, jurist, mathematician...
Dutch–Portuguese War. After the disastrous Battle of Alcácer Quibir in 1578, the Cardinal Henry, Sebastian's grand-uncle, succeeded him as king. Henry renounced...
Their first son, Ryan, was born in April 1989. Patricia took Ryan to Cardinal Glennon Children's Hospital in early July 1989. He was experiencing vomiting...
accompanied Archbishop Samuel Stritch to Rome when the latter was created cardinal by Pope Pius XII in 1946, and purchased the red hat Stritch received in...
cardinal with a measurable cardinal above it, then Π12 determinacy holds. More generally, if there are n Woodin cardinals with a measurable cardinal above...
Himzon (Letran Knights) Best outside spiker: Barbie San Andres (Mapúa Cardinals) 2nd best outside spiker: Joshua Ramilo (EAC Generals) Best middle blocker:...
among the upper classes, having among his patients the Duke of Urbino, the Cardinal della Rovero, and the Duke of Terranova. He became a member of the Medical...
style. Supposedly they were completed in a hundred days. In March 1546, Cardinal Alessandro Farnese (1520–1589), at the suggestion of Paolo Giovio, commissions...
expressed desire of Cardinal Gil Carrillo of Albornoz as a burial chapel for himself and his family, which he did not see completed. Cardinal Albornoz died...
tournament, the Mapúa Cardinals finished first in the elimination round for the first time in the Final Four era. The Cardinals then defeated last season's...
sacrocervical ligaments. It is supported by the upper portions of the cardinal ligaments and the parametrium. The middle third of the vagina involves...