Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ramified_forcing> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Ramified_forcing abstract "In the mathematical discipline of set theory, ramified forcing is the original form of forcing introduced by Cohen (1963) to prove the independence of the continuum hypothesis from Zermelo–Fraenkel set theory. Ramified forcing starts with a model M of set theory in which the axiom of constructibility, V = L, holds, and then builds up a larger model M[G] of Zermelo–Fraenkel set theory by adding a generic subset G of a partially ordered set to M, imitating Kurt Gödel's constructible hierarchy.Dana Scott and Robert Solovay realized that the use of constructible sets was an unnecessary complication, and could be replaced by a simpler construction similar to John von Neumann's construction of the universe as a union of sets R(α) for ordinals α. Their simplification was originally called \"unramified forcing\" (Shoenfield 1971), but is now usually just called \"forcing\". As a result, ramified forcing is only rarely used.".
- Ramified_forcing wikiPageID "15634017".
- Ramified_forcing wikiPageLength "2040".
- Ramified_forcing wikiPageOutDegree "14".
- Ramified_forcing wikiPageRevisionID "476916548".
- Ramified_forcing wikiPageWikiLink Axiom_of_constructibility.
- Ramified_forcing wikiPageWikiLink Category:Forcing_(mathematics).
- Ramified_forcing wikiPageWikiLink Constructible_universe.
- Ramified_forcing wikiPageWikiLink Continuum_hypothesis.
- Ramified_forcing wikiPageWikiLink Dana_Scott.
- Ramified_forcing wikiPageWikiLink Forcing_(mathematics).
- Ramified_forcing wikiPageWikiLink Independence_(mathematical_logic).
- Ramified_forcing wikiPageWikiLink John_von_Neumann.
- Ramified_forcing wikiPageWikiLink Kurt_Gödel.
- Ramified_forcing wikiPageWikiLink Partially_ordered_set.
- Ramified_forcing wikiPageWikiLink Robert_M._Solovay.
- Ramified_forcing wikiPageWikiLink Set_theory.
- Ramified_forcing wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Ramified_forcing wikiPageWikiLinkText "ramified forcing".
- Ramified_forcing wikiPageUsesTemplate Template:Citation.
- Ramified_forcing wikiPageUsesTemplate Template:Harv.
- Ramified_forcing wikiPageUsesTemplate Template:Harvtxt.
- Ramified_forcing wikiPageUsesTemplate Template:Math.
- Ramified_forcing wikiPageUsesTemplate Template:Mvar.
- Ramified_forcing wikiPageUsesTemplate Template:Settheory-stub.
- Ramified_forcing subject Category:Forcing_(mathematics).
- Ramified_forcing hypernym Form.
- Ramified_forcing comment "In the mathematical discipline of set theory, ramified forcing is the original form of forcing introduced by Cohen (1963) to prove the independence of the continuum hypothesis from Zermelo–Fraenkel set theory.".
- Ramified_forcing label "Ramified forcing".
- Ramified_forcing sameAs Q7289554.
- Ramified_forcing sameAs m.03nn5xr.
- Ramified_forcing sameAs Q7289554.
- Ramified_forcing wasDerivedFrom Ramified_forcing?oldid=476916548.
- Ramified_forcing isPrimaryTopicOf Ramified_forcing.