Strong cardinal

Strong cardinal

In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal.

Formal definition

If λ is any ordinal, κ is λ-strong means that κ is a cardinal number and there exists an elementary embedding "j" from the universe "V" into a transitive inner model "M" with critical point κ and

:V_lambdasubseteq M

That is, "M" agrees with "V" on an initial segment. Then κ is strong means that it is λ-strong for all ordinals λ.

Relationship with other large cardinals

It is obvious from the definitions that strong cardinals lie below supercompact cardinals and above measurable cardinals in the consistency strength hierarchy.

They also lie below superstrong cardinals and Woodin cardinals. However, the least strong cardinal is larger than the least superstrong cardinal.

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Strong — may refer to:General usage*Strong acid *Strong agnosticism *Strong AI *Strong atheism *Strong cardinal *Strong coloring *Strong convergence *Strong CP problem *Strong cryptography *Strong inflection (linguistics):*Germanic strong verb *Strong… …   Wikipedia

  • Cardinal-Infante Ferdinand of Austria — Cardinal Infante Ferdinand (1609/16101 in Escorial near Madrid, Spain 9 November 1641 in Brussels) (also known as Don Fernando de Austria and as Ferdinand von Österreich) was Governor of the Spanish Netherlands, Cardinal of the Holy Roman Church …   Wikipedia

  • Cardinal Ritter College Prep High School — is a private, Roman Catholic high school in St. Louis, Missouri. It is located in the Roman Catholic Archdiocese of Saint Louis.BackgroundCardinal Ritter Prep opened its doors on September 6, 1979. Named for Cardinal Joseph Ritter, Archbishop of… …   Wikipedia

  • Cardinal Carter Academy for the Arts — is a Catholic arts high school located in Toronto, Canada. CCAAThroughout the 1980s the Metropolitan Separate School Board (now the Toronto Catholic District School Board) considered establishing a school for the performing arts. It was felt that …   Wikipedia

  • Cardinal Richelieu — The Red Eminence redirects here. For Soviet statesman, see Mikhail Andreyevich Suslov. Armand Jean du Plessis, Cardinal de Richelieu Portrait of Cardinal Richelieu, 1637, Philippe de Champaigne 1st Chief Minister of the …   Wikipedia

  • Strong partition cardinal — In Zermelo Fraenkel set theory without the axiom of choice a strong partition cardinal is an uncountable well ordered cardinal k such that every partition of the set [k] ^kof size k subsets of k into less than k pieces has a homogeneous set of… …   Wikipedia

  • Cardinal Mazarin — For Swedish artist Per Gessle s 2003 album, see Mazarin (album). Jules Mazarin Portrait of Cardinal Jules Mazarin 2nd Chief Minister of the French Monarch …   Wikipedia

  • Cardinal (bird) — Taxobox name = Cardinalidae image width = 200px image caption = Male Northern Cardinal regnum = Animalia phylum = Chordata classis = Aves ordo = Passeriformes subordo = Passeri familia = Cardinalidae subdivision ranks = Genera subdivision =… …   Wikipedia

  • Cardinal Conference — HS Conference name = Cardinal Conference imagedimensions = caption = established = 1960 dissolved = 1987 type = OHSAA members = 7 (at peak) sports = 13 champs = 2 states = 1 (Ohio) founders = comm = Don Welsh O.J. Thompson Joe Romano Jim Roman… …   Wikipedia

  • Cardinal O'Hara High School — Infobox school | name = Cardinal O Hara High School name2=Cardinal O Hara High School, Springfield, Pennsylvania motto=Pride Excellence Tradition established=1963 type=High School address= 1701 S. Sproul Road, location = Springfield, Pennsylvania …   Wikipedia

Share the article and excerpts

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