Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Forcing_(mathematics)> ?p ?o }
- Forcing_(mathematics) abstract "In the mathematical discipline of set theory, forcing is a technique discovered by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. Forcing was considerably reworked and simplified in the following years, and has since served as a powerful technique both in set theory and in areas of mathematical logic such as recursion theory.Descriptive set theory uses the notion of forcing from both recursion theory and set theory. Forcing has also been used in model theory but it is common in model theory to define genericity directly without mention of forcing.".
- Forcing_(mathematics) wikiPageExternalLink forcingdum.
- Forcing_(mathematics) wikiPageExternalLink 0712.1320.
- Forcing_(mathematics) wikiPageExternalLink 0712.2279.
- Forcing_(mathematics) wikiPageExternalLink pnas.50.6.1143.
- Forcing_(mathematics) wikiPageExternalLink pnas.51.1.105.
- Forcing_(mathematics) wikiPageExternalLink 1181070010.
- Forcing_(mathematics) wikiPageExternalLink 8962.
- Forcing_(mathematics) wikiPageID "152205".
- Forcing_(mathematics) wikiPageLength "31595".
- Forcing_(mathematics) wikiPageOutDegree "69".
- Forcing_(mathematics) wikiPageRevisionID "669357287".
- Forcing_(mathematics) wikiPageWikiLink Aleph_number.
- Forcing_(mathematics) wikiPageWikiLink Antichain.
- Forcing_(mathematics) wikiPageWikiLink Antisymmetric_relation.
- Forcing_(mathematics) wikiPageWikiLink Axiom_of_choice.
- Forcing_(mathematics) wikiPageWikiLink Boolean-valued_model.
- Forcing_(mathematics) wikiPageWikiLink Boolean_algebra_(structure).
- Forcing_(mathematics) wikiPageWikiLink Borel_set.
- Forcing_(mathematics) wikiPageWikiLink Borel_subset.
- Forcing_(mathematics) wikiPageWikiLink Cantors_paradox.
- Forcing_(mathematics) wikiPageWikiLink Cantors_theorem.
- Forcing_(mathematics) wikiPageWikiLink Category:Forcing_(mathematics).
- Forcing_(mathematics) wikiPageWikiLink Compactness_theorem.
- Forcing_(mathematics) wikiPageWikiLink Computability_theory.
- Forcing_(mathematics) wikiPageWikiLink Consistency.
- Forcing_(mathematics) wikiPageWikiLink Consistency_proof.
- Forcing_(mathematics) wikiPageWikiLink Continuum_hypothesis.
- Forcing_(mathematics) wikiPageWikiLink Countable_chain_condition.
- Forcing_(mathematics) wikiPageWikiLink Dana_Scott.
- Forcing_(mathematics) wikiPageWikiLink Dedekind_cut.
- Forcing_(mathematics) wikiPageWikiLink Descriptive_set_theory.
- Forcing_(mathematics) wikiPageWikiLink Eastons_theorem.
- Forcing_(mathematics) wikiPageWikiLink First-order_logic.
- Forcing_(mathematics) wikiPageWikiLink First_uncountable_ordinal.
- Forcing_(mathematics) wikiPageWikiLink Generic_(mathematics).
- Forcing_(mathematics) wikiPageWikiLink HTTP_referer.
- Forcing_(mathematics) wikiPageWikiLink If_and_only_if.
- Forcing_(mathematics) wikiPageWikiLink Independence_(mathematical_logic).
- Forcing_(mathematics) wikiPageWikiLink Kxc3xb6nigs_theorem_(set_theory).
- Forcing_(mathematics) wikiPageWikiLink Large_cardinal.
- Forcing_(mathematics) wikiPageWikiLink Lebesgue_measure.
- Forcing_(mathematics) wikiPageWikiLink List_of_forcing_notions.
- Forcing_(mathematics) wikiPageWikiLink Löwenheim–Skolem_theorem.
- Forcing_(mathematics) wikiPageWikiLink Mathematical_logic.
- Forcing_(mathematics) wikiPageWikiLink Measurable_function.
- Forcing_(mathematics) wikiPageWikiLink Model_theory.
- Forcing_(mathematics) wikiPageWikiLink Mostowski_collapse.
- Forcing_(mathematics) wikiPageWikiLink Mostowski_collapse_lemma.
- Forcing_(mathematics) wikiPageWikiLink Nice_name.
- Forcing_(mathematics) wikiPageWikiLink PCF_theory.
- Forcing_(mathematics) wikiPageWikiLink Partial_order.
- Forcing_(mathematics) wikiPageWikiLink Partially_ordered_set.
- Forcing_(mathematics) wikiPageWikiLink Paul_Cohen.
- Forcing_(mathematics) wikiPageWikiLink Paul_Cohen_(mathematician).
- Forcing_(mathematics) wikiPageWikiLink Pi.
- Forcing_(mathematics) wikiPageWikiLink Preorder.
- Forcing_(mathematics) wikiPageWikiLink Ramified_forcing.
- Forcing_(mathematics) wikiPageWikiLink Rasiowa–Sikorski_lemma.
- Forcing_(mathematics) wikiPageWikiLink Recursion_theory.
- Forcing_(mathematics) wikiPageWikiLink Referer.
- Forcing_(mathematics) wikiPageWikiLink Regular_cardinal.
- Forcing_(mathematics) wikiPageWikiLink Robert_M._Solovay.
- Forcing_(mathematics) wikiPageWikiLink Russells_paradox.
- Forcing_(mathematics) wikiPageWikiLink Saharon_Shelah.
- Forcing_(mathematics) wikiPageWikiLink Sentence_(logic).
- Forcing_(mathematics) wikiPageWikiLink Sentence_(mathematical_logic).
- Forcing_(mathematics) wikiPageWikiLink Set_Theory:_An_Introduction_to_Independence_Proofs.
- Forcing_(mathematics) wikiPageWikiLink Set_theory.
- Forcing_(mathematics) wikiPageWikiLink Subset.
- Forcing_(mathematics) wikiPageWikiLink Transfinite_induction.
- Forcing_(mathematics) wikiPageWikiLink Transfinite_recursion.
- Forcing_(mathematics) wikiPageWikiLink Truth_value.
- Forcing_(mathematics) wikiPageWikiLink Ultrafilter.
- Forcing_(mathematics) wikiPageWikiLink Universe_(mathematics).
- Forcing_(mathematics) wikiPageWikiLink Von_Neumann_universe.
- Forcing_(mathematics) wikiPageWikiLink W._B._Easton.
- Forcing_(mathematics) wikiPageWikiLink Well-founded.
- Forcing_(mathematics) wikiPageWikiLink Well-founded_relation.
- Forcing_(mathematics) wikiPageWikiLink ZFC.
- Forcing_(mathematics) wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Forcing_(mathematics) wikiPageWikiLink Zorns_lemma.
- Forcing_(mathematics) wikiPageWikiLinkText ""forcing"".
- Forcing_(mathematics) wikiPageWikiLinkText "Countable transitive models and generic filters".
- Forcing_(mathematics) wikiPageWikiLinkText "Forcing (mathematics)".
- Forcing_(mathematics) wikiPageWikiLinkText "Forcing".
- Forcing_(mathematics) wikiPageWikiLinkText "Forcing_(mathematics)#Forcing".
- Forcing_(mathematics) wikiPageWikiLinkText "forcing (mathematics)".
- Forcing_(mathematics) wikiPageWikiLinkText "forcing axioms".
- Forcing_(mathematics) wikiPageWikiLinkText "forcing notion".
- Forcing_(mathematics) wikiPageWikiLinkText "forcing".
- Forcing_(mathematics) wikiPageWikiLinkText "forcings".
- Forcing_(mathematics) wikiPageWikiLinkText "set theoretic forcing".
- Forcing_(mathematics) first "V.N.".
- Forcing_(mathematics) hasPhotoCollection Forcing_(mathematics).
- Forcing_(mathematics) id "F/f040770".
- Forcing_(mathematics) id "Forcing".
- Forcing_(mathematics) last "Grishin".
- Forcing_(mathematics) title "Forcing method".
- Forcing_(mathematics) title "Forcing".