Reinhardt cardinal

In set theory, a branch of mathematics, a Reinhardt cardinal is a large cardinal κ, suggested by harvs|txt=yes|last=Reinhardt|year=1967|year2=1974, that is the critical point of a non-trivial elementary embedding "j" of "V" into itself.

A minor technical problem is that this property cannot be formulated in the usual set theory ZFC: the embedding "j" is a class of the form ${x|phi(x,a)}$ for some set "a" and formula φ, and in the language of set theory it is not possible to quantify over all classes (or formulas). There are several ways to get round this. One way is to add a new function symbol "j" to the language of ZFC, together with axioms stating that "j" is an elementary embedding of "V" (and of course adding separation and replacement axioms for formulas involving "j"). Another way is to use a class theory such as NBG or KM. A third way is to treat Kunen's theorem as a countable infinite collection of theorems, one for each formula φ. (It is possible to have elementary embeddings of models of ZFC into themselves assuming a mild large cardinal hypothesis, but these elementary embeddings are not classes of the model.)

harvs|txt=yes|authorlink=Kenneth Kunen|last=Kunen|year=1971 showed that the existence of such an embedding contradicts NBG with the axiom of choice (and ZFC extended by "j"), but it is consistent with weaker class theories. His proof uses the axiom of choice, and it is still an open question as to whether such an embedding is consistent with NBG without the axiom of choice (or with ZF plus "j").

Reinhardt cardinals are essentially the largest ones that have been defined (as of 2006) that are not known to be inconsistent in ZF-set theory.

References

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
Rank-into-rank — In set theory, a branch of mathematics, a rank into rank is a large cardinal lambda; satisfying one of the following four axioms (commonly known as rank into rank embeddings, given in order of increasing consistency strength):*Axiom I3: There is… … Wikipedia
List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… … Wikipedia
Kenneth Kunen — Herbert Kenneth Kunen (August 2, 1943 – ) is an emeritus professor of mathematics at the University of Wisconsin Madison [http://www.math.wisc.edu/ apache/emeriti.html] who works in set theory and its applications to various areas of mathematics … Wikipedia
theatre — /thee euh teuhr, theeeu /, n. theater. * * * I Building or space in which performances are given before an audience. It contains an auditorium and stage. In ancient Greece, where Western theatre began (5th century BC), theatres were constructed… … Universalium
Otto Preminger — Preminger in 1976 Born Otto Ludwig Preminger 5 December 1905(1905 12 05) Wiznitz, Austria–Hungary (present Vyzhnytsia … Wikipedia
theatre, Western — ▪ art Introduction history of the Western theatre from its origins in pre Classical antiquity to the present. For a discussion of drama as a literary form, see dramatic literature and the articles on individual national literatures.… … Universalium
Adolfo Müller-Ury — (1862 1947) was a Swiss born American portrait painter and impressionistic still life painter. He was born Felice Adolfo Müller on March 29 1862 at Airolo, in the Ticino in Switzerland, into a prominent patrician family whose lineage descended… … Wikipedia
Western architecture — Introduction history of Western architecture from prehistoric Mediterranean cultures to the present. The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… … Universalium
Austria — Austrian, adj., n. /aw stree euh/, n. a republic in central Europe. 8,054,078; 32,381 sq. mi. (83,865 sq. km). Cap.: Vienna. German, Österreich. * * * Austria Introduction Austria Background: Once the center of power for the large Austro… … Universalium

Academic Dictionaries and Encyclopedias

Reinhardt cardinal

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Reinhardt cardinal

Look at other dictionaries:

Share the article and excerpts

Direct link