{
  "http://fr.dbpedia.org/tag/SvFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Abraham_Adolf_Fraenkel" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Alain_Badiou" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Andrzej_Mostowski" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Armand_Hatchuel" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Axiome_de_Martin" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Bronis\u0142aw_Knaster" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Condition_de_cha\u00EEne_d\u00E9nombrable" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Ensemble_d\u00E9nombrable" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Forcing" : { "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Forcing" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u529B\u8FEB" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "Forcing" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "Forsing" , "lang" : "pl" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#comment" : [ { "type" : "literal", "value" : "En math\u00E9matiques, et plus pr\u00E9cis\u00E9ment en logique math\u00E9matique, le forcing est une technique invent\u00E9e par Paul Cohen pour prouver des r\u00E9sultats de coh\u00E9rence et d'ind\u00E9pendance en th\u00E9orie des ensembles. Elle a \u00E9t\u00E9 utilis\u00E9e pour la premi\u00E8re fois en 1962 pour prouver l'ind\u00E9pendance de l'hypoth\u00E8se du continu vis-\u00E0-vis de la th\u00E9orie ZFC. Combin\u00E9e avec la technique des mod\u00E8les de permutation de Fraenkel-Mostowski-Specker, elle a permis \u00E9galement d'\u00E9tablir l'ind\u00E9pendance de l'axiome du choix relativement \u00E0 ZF. Le forcing a \u00E9t\u00E9 notablement remani\u00E9 et simplifi\u00E9 dans les ann\u00E9es 1960 et s'est r\u00E9v\u00E9l\u00E9 \u00EAtre une technique extr\u00EAmement puissante, \u00E0 la fois en th\u00E9orie des ensembles et dans d'autres branches de la logique math\u00E9matique, comme la th\u00E9orie des mod\u00E8les ou la logique intuitionniste." , "lang" : "fr" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#seeAlso" : [ { "type" : "uri", "value" : "https://www.britannica.com/topic/forcing-mathematics" } ,
      { "type" : "uri", "value" : "http://mathworld.wolfram.com/Forcing.html" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://et.dbpedia.org/resource/Forsseerimine_(matemaatika)" } ,
      { "type" : "uri", "value" : "http://hu.dbpedia.org/resource/Forszol\u00E1s" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q1003136" } ,
      { "type" : "uri", "value" : "http://he.dbpedia.org/resource/\u05DB\u05E4\u05D9\u05D9\u05D4_(\u05DC\u05D5\u05D2\u05D9\u05E7\u05D4_\u05DE\u05EA\u05DE\u05D8\u05D9\u05EA)" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Forzado_(matem\u00E1ticas)" } ,
      { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/Forsing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Forcing_(mathematics)" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u5F37\u5236\u6CD5" } ,
      { "type" : "uri", "value" : "http://ko.dbpedia.org/resource/\uAC15\uC81C\uBC95" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ,
      { "type" : "uri", "value" : "http://cs.dbpedia.org/resource/Forsing" } ,
      { "type" : "uri", "value" : "http://sv.dbpedia.org/resource/Forcing" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u529B\u8FEB" } ,
      { "type" : "uri", "value" : "http://nl.dbpedia.org/resource/Forcing" } ,
      { "type" : "uri", "value" : "http://babelnet.org/rdf/s00739900n" } ,
      { "type" : "uri", "value" : "http://g.co/kg/m/013tlv" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Forcing" } ,
      { "type" : "uri", "value" : "http://ma-graph.org/entity/197115733" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/For\u00E7amento" } ] ,
    "http://dbpedia.org/ontology/wikiPageID" : [ { "type" : "literal", "value" : 3126332 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageRevisionID" : [ { "type" : "literal", "value" : 189104719 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/John_Lane_Bell" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Robert_Solovay" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Filtre_(math\u00E9matiques)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Jean-Louis_Krivine" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Math\u00E9matiques" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Kenneth_Kunen" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Georg_Cantor" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Ernst_Specker" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Ultrafiltre" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Paul_Cohen" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Aleph_(nombre)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_K\u00F6nig_(th\u00E9orie_des_ensembles)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_compacit\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mesure_d'un_ensemble" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Hypoth\u00E8se_du_continu" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Univers_(logique)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Logique_math\u00E9matique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Logique_intuitionniste" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Nombre_cardinal" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Encyclop\u00E6dia_of_Mathematics" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mesure_de_Lebesgue" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Abraham_Adolf_Fraenkel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Paire" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Cantor" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles_de_Zermelo-Fraenkel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Pr\u00E9ordre" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_L\u00F6wenheim-Skolem" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/R\u00E9currence_transfinie" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Dana_S._Scott" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Paradoxe_de_Russell" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Alg\u00E8bre_de_Boole_(structure)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Proceedings_of_the_National_Academy_of_Sciences" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Ordinal_limite" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Tribu_bor\u00E9lienne" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9orie_des_mod\u00E8les" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Pi" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Calcul_des_pr\u00E9dicats" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9orie_des_ensembles" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Valeur_de_v\u00E9rit\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Grand_cardinal" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Coupure_de_Dedekind" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Lemme_de_contraction_de_Mostowski" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Lemme_de_Zorn" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Patrick_Dehornoy" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Relation_bien_fond\u00E9e" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Anticha\u00EEne" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Andrzej_Mostowski" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Fonction_mesurable" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://projecteuclid.org/euclid.rmjm/1181070010" } ,
      { "type" : "uri", "value" : "http://eom.springer.de/F/f040770.htm" } ,
      { "type" : "uri", "value" : "https://dehornoy.users.lmno.cnrs.fr/Surveys/DehornoyChap11.pdf%7Cann%C3%A9e=2006" } ] ,
    "http://dbpedia.org/ontology/wikiPageLength" : [ { "type" : "literal", "value" : "29625" , "datatype" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9orie_des_ensembles" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique" } ] ,
    "http://fr.dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:D\u00E9monstration" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:2e" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:ISBN" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Ind" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:1re" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Arxiv2" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Lien" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Langue" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Souligner" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Exp" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:R\u00E9f\u00E9rences" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Portail" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:En" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Traduction/R\u00E9f\u00E9rence" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Article" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Article_d\u00E9taill\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Chapitre" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Ouvrage" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Forcing?oldid=189104719&ns=0" } ] ,
    "http://fr.dbpedia.org/property/ann\u00E9e" : [ { "type" : "literal", "value" : 1980 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1963 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1966 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1964 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 2002 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/auteur" : [ { "type" : "literal", "value" : "Paul J. Cohen" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Paul Cohen" , "lang" : "fr" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Patrick_Dehornoy" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Kenneth_Kunen" } ] ,
    "http://fr.dbpedia.org/property/contenu" : [ { "type" : "literal", "value" : "\u00C9tant donn\u00E9e une sous-famille non d\u00E9nombrable W \u2286 Fin, elle contient une sous-famille non d\u00E9nombrable W d'ensembles de taille n, pour un certain n fix\u00E9 <\u03C9. Si p=b pour un nombre non d\u00E9nombrable de p \u2208 W, on note W l'ensemble de ces p, et on r\u00E9p\u00E8te la construction, obtenant un ensemble fini { , \u2026,  }, et une famille non d\u00E9nombrable W de conditions incompatibles de taille n\u2212k telles que chaque e soit dans un nombre au plus d\u00E9nombrable de domaines dom pour p \u2208 W. Choisissons alors un p\u2208W arbitraire, et dans W un q dont le domaine a une intersection vide avec celui de p . Alors p \u222A { , \u2026,  } et q \u222A { , \u2026,  } sont compatibles, donc W n'est pas une anticha\u00EEne. Autrement dit, toutes les anticha\u00EEnes de Fin sont d\u00E9nombrables." , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/fr" : [ { "type" : "literal", "value" : "William Bigelow Easton" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "forcing ramifi\u00E9" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "lemme de Rasiowa-Sikorski" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Mod\u00E8le \u00E0 valeurs bool\u00E9ennes" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "anticha\u00EEne forte" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/isbn" : [ { "type" : "literal", "value" : 978 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/lang" : [ { "type" : "literal", "value" : "en" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/langue" : [ { "type" : "literal", "value" : "de" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "en" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/lieu" : [ { "type" : "literal", "value" : "Londres" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Amsterdam" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/num\u00E9ro" : [ { "type" : "literal", "value" : 1 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 6 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 4 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/pagesTotales" : [ { "type" : "literal", "value" : 313 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/sousTitre" : [ { "type" : "literal", "value" : "An Introduction to Independence Proofs" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/texte" : [ { "type" : "literal", "value" : "mod\u00E8les \u00E0 valeurs bool\u00E9ennes" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/titre" : [ { "type" : "literal", "value" : "Set Theory" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "The Discovery of Forcing" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "The Independence of the Continuum Hypothesis, II" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Set Theory and the Continuum Hypothesis" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "D\u00E9monstration de ce r\u00E9sultat" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "La m\u00E9thode du forcing" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "The Independence of the Continuum Hypothesis" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/titreOuvrage" : [ { "type" : "literal", "value" : "Logique et th\u00E9orie des ensembles, Notes de cours, FIMFA ENS" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/trad" : [ { "type" : "literal", "value" : "Rasiowa\u2013Sikorski lemma" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Strong antichain" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Ramified forcing" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Boolean-valued model" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/url" : [ { "type" : "uri", "value" : "http://projecteuclid.org/euclid.rmjm/1181070010" } ,
      { "type" : "uri", "value" : "https://dehornoy.users.lmno.cnrs.fr/Surveys/DehornoyChap11.pdf%7Cann%C3%A9e=2006" } ] ,
    "http://fr.dbpedia.org/property/\u00E9diteur" : [ { "type" : "literal", "value" : "North-Holland" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Addison-Wesley" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/num\u00E9roD'\u00E9dition" : [ { "type" : "literal", "value" : 5 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/p." : [ { "type" : "literal", "value" : 1143 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 105 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1071 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/revue" : [ { "type" : "literal", "value" : "Rocky Mountain J. Math." , "lang" : "fr" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Proceedings_of_the_National_Academy_of_Sciences" } ,
      { "type" : "literal", "value" : "PNAS" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/vol" : [ { "type" : "literal", "value" : 50 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 51 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 32 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/jstor" : [ { "type" : "literal", "value" : 72252 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 71858 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/lccn" : [ { "type" : "literal", "value" : 80020375 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/num\u00E9roChapitre" : [ { "type" : "literal", "value" : 11 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Forcing" } ] ,
    "http://dbpedia.org/ontology/discoverer" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Paul_Cohen" } ] ,
    "http://dbpedia.org/ontology/abstract" : [ { "type" : "literal", "value" : "En math\u00E9matiques, et plus pr\u00E9cis\u00E9ment en logique math\u00E9matique, le forcing est une technique invent\u00E9e par Paul Cohen pour prouver des r\u00E9sultats de coh\u00E9rence et d'ind\u00E9pendance en th\u00E9orie des ensembles. Elle a \u00E9t\u00E9 utilis\u00E9e pour la premi\u00E8re fois en 1962 pour prouver l'ind\u00E9pendance de l'hypoth\u00E8se du continu vis-\u00E0-vis de la th\u00E9orie ZFC. Combin\u00E9e avec la technique des mod\u00E8les de permutation de Fraenkel-Mostowski-Specker, elle a permis \u00E9galement d'\u00E9tablir l'ind\u00E9pendance de l'axiome du choix relativement \u00E0 ZF. Le forcing a \u00E9t\u00E9 notablement remani\u00E9 et simplifi\u00E9 dans les ann\u00E9es 1960 et s'est r\u00E9v\u00E9l\u00E9 \u00EAtre une technique extr\u00EAmement puissante, \u00E0 la fois en th\u00E9orie des ensembles et dans d'autres branches de la logique math\u00E9matique, comme la th\u00E9orie des mod\u00E8les ou la logique intuitionniste." , "lang" : "fr" } ] ,
    "http://dbpedia.org/ontology/isPartOf" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles" } ] } ,
  "http://fr.dbpedia.org/resource/Gerald_E._Sacks" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Gras_de_tableau_noir" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Hypoth\u00E8se_du_continu" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Itay_Neeman" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/James_Baumgartner" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Jean-Louis_Krivine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Lemme_de_contraction_de_Mostowski" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Liste_d'\u00E9nonc\u00E9s_ind\u00E9cidables_dans_ZFC" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Liste_de_faux_anglicismes_en_fran\u00E7ais" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Liste_de_publications_importantes_en_math\u00E9matiques" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Logique_math\u00E9matique" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Logique_polyvalente" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Paul_Cohen" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] ,
    "http://fr.dbpedia.org/property/renomm\u00E9Pour" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/R\u00E9alisabilit\u00E9" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Saharon_Shelah" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles_de_Zermelo-Fraenkel" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_d'Easton" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.wikipedia.org/wiki/Forcing" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/resource/Menachem_Magidor" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/tag/ZhFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/tag/PlFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] } ,
  "http://fr.dbpedia.org/tag/WdtFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forcing" } ] }
}