Ramified forcing

Ramified forcing

In mathematics, ramified forcing is the original form of forcing introduced by harvtxt|Cohen|1963. Ramified forcing starts with a model "M" of V = L, and builds up larger model "M" ["G"] of ZF by adding a generic subset "G" of a poset to "M", by imitating Godel's constructible hierarchy. Scott and Solovay realized that the use of constructible sets was an unnecessary complication, and could be replaced by a simpler construction similar to von Neumann's construction of the universe as a union of sets "R"(α) for ordinals α. (This simplification was originally called "unramified forcing" harv|Schoenfield|1971, but is now usually just called "forcing".) As a result, ramified forcing is only rarely used.

References

*Citation | last1=Cohen | first1=P. J. | title=Set Theory and the Continuum Hypothesis | publisher=W. A. Benjamin | location=Menlo Park, CA | year=1966
*Citation | last1=Cohen | first1=Paul J. | title=The Independence of the Continuum Hypothesis | url=http://links.jstor.org/sici?sici=0027-8424%2819631215%2950%3A6%3C1143%3ATIOTCH%3E2.0.CO%3B2-5 | year=1963 | month=15 | journal=Proceedings of the National Academy of Sciences of the United States of America | issn=0027-8424 | volume=50 | issue=6 | pages=1143–1148
*citation|id=MR|0280359
last=Shoenfield|first= J. R.
chapter=Unramified forcing|year= 1971 |title=Axiomatic Set Theory |series=Proc. Sympos. Pure Math.|volume= XIII, Part I|pages= 357--381 |publisher=Amer. Math. Soc.|publication-place= Providence, R.I.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Forcing — En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en… …   Wikipédia en Français

  • 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

  • RESPONSA — (Heb. שְׁאֵלוֹת וּתְשׁוּבוֹת; lit. queries and replies ), a rabbinic term denoting an exchange of letters in which one party consults another on a halakhic matter. Such responsa   are already mentioned in the Talmud, which tells of an inquiry… …   Encyclopedia of Judaism

  • Europe, history of — Introduction       history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… …   Universalium

  • ECONOMIC HISTORY — This article is arranged according to the following outline: first temple period exile and restoration second temple period talmudic era muslim middle ages medieval christendom economic doctrines early modern period sephardim and ashkenazim… …   Encyclopedia of Judaism

  • HISTORICAL SURVEY: THE STATE AND ITS ANTECEDENTS (1880–2006) — Introduction It took the new Jewish nation about 70 years to emerge as the State of Israel. The immediate stimulus that initiated the modern return to Zion was the disappointment, in the last quarter of the 19th century, of the expectation that… …   Encyclopedia of Judaism

  • ZIONISM — This article is arranged according to the following outline: the word and its meaning forerunners ḤIBBAT ZION ROOTS OF ḤIBBAT ZION background to the emergence of the movement the beginnings of the movement PINSKER S AUTOEMANCIPATION settlement… …   Encyclopedia of Judaism

  • Georgia — /jawr jeuh/, n. 1. a state in the SE United States. 5,464,265; 58,876 sq. mi. (152,489 sq. km). Cap.: Atlanta. Abbr.: GA (for use with zip code), Ga. 2. Also called Georgian Republic. a republic in Transcaucasia, bordering on the Black Sea, N of… …   Universalium

  • teaching — /tee ching/, n. 1. the act or profession of a person who teaches. 2. something that is taught. 3. Often, teachings. doctrines or precepts: the teachings of Lao tzu. [1125 75; ME teching. See TEACH, ING1] * * * Profession of those who give… …   Universalium

Share the article and excerpts

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