This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n8http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n16http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Théorème_d'inconsistance_de_Kunen
rdfs:label
Théorème d'inconsistance de Kunen
rdfs:comment
En théorie des ensembles, une branche des mathématiques, le théorème d'inconsistance de Kunen, démontré par Kenneth Kunen (1971), montre que plusieurs axiomes plausibles faisant usage des grands cardinaux sont incompatibles avec l'axiome du choix. Leur ajout conduit à des contradictions. Selon certaines conséquences du théorème de Kunen, il s'ensuit que :
owl:sameAs
wikidata:Q6444407 n13:32952772 dbr:Kunen's_inconsistency_theorem n15:09k5p6_
dbo:wikiPageID
11752535
dbo:wikiPageRevisionID
186739032
dbo:wikiPageWikiLink
dbpedia-fr:American_Mathematical_Society category-fr:Théorie_des_ensembles dbpedia-fr:Kenneth_Kunen dbpedia-fr:Point_fixe dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Mathématiques dbpedia-fr:Journal_of_Symbolic_Logic dbpedia-fr:Équivalence_élémentaire dbpedia-fr:JSTOR dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Axiome_du_choix dbpedia-fr:Théorie_des_ensembles_de_Morse-Kelley dbpedia-fr:Grand_cardinal dbpedia-fr:Théorie_des_ensembles category-fr:Logique_mathématique dbpedia-fr:Univers_constructible
dbo:wikiPageLength
3823
dct:subject
category-fr:Théorie_des_ensembles category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n8:Ébauche n8:Références n8:Portail n8:ISBN n16:Référence n8:Lien
prov:wasDerivedFrom
wikipedia-fr:Théorème_d'inconsistance_de_Kunen?oldid=186739032&ns=0
prop-fr:fr
cardinal de Reinhardt
prop-fr:lang
en
prop-fr:trad
Reinhardt cardinal
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_d'inconsistance_de_Kunen
dbo:abstract
En théorie des ensembles, une branche des mathématiques, le théorème d'inconsistance de Kunen, démontré par Kenneth Kunen (1971), montre que plusieurs axiomes plausibles faisant usage des grands cardinaux sont incompatibles avec l'axiome du choix. Leur ajout conduit à des contradictions. Selon certaines conséquences du théorème de Kunen, il s'ensuit que : * Il n'y a pas de plongement élémentaire non trivial de l'univers dans lui-même. En d'autres termes, il n'y a pas de (en). * Si est un plongement élémentaire de l'univers dans un modèle intérieur , et est le plus petit point fixe de au-dessus du point critique de , alors ne contient pas l'ensemble (l'image de limitée à ). * Il n'y a pas de (en). * Il n'y a pas de plongement élémentaire non triviale de dans lui-même. On ne sait pas si le théorème de Kunen s'applique aussi dans la théorie des ensembles de Zermelo-Fraenkel sans l'axiome du choix, bien que Suzuki (1999) a montré qu'il n'y a pas de plongement élémentaire définissable de dans , c'est-à-dire qu'il n'y a pas de formule dans le langage de la théorie des ensembles et des paramètres telles que pour tous ensembles on a . Kunen a utilisé la théorie des ensembles de Morse-Kelley dans sa preuve. Si la preuve est réécrite pour utiliser ZFC, alors il faut ajouter l'hypothèse que l'axiome de remplacement vaut également pour les formules impliquant . Sinon on ne pourrait même pas montrer que existe en tant qu'ensemble. L'ensemble interdit est crucial pour la preuve. La preuve montre d'abord qu'il ne peut pas être dans . Les autres parties du théorème suivent de ce développement. Il est possible d'avoir des modèles de théorie des ensembles qui ont des plongements élémentaires en eux-mêmes, du moins si l'on suppose des axiomes de grand cardinaux. Par exemple, si (en) existe, alors il y a un plongement élémentaire de l'univers constructible en lui-même. Cela ne contredit pas le théorème de Kunen car si existe, alors ne peut pas être l'univers entier des ensembles.