Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à se comportent comme . C'est une généralisation du (en).

Property Value
dbo:abstract
  • En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à se comportent comme . C'est une généralisation du (en). (fr)
  • En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à se comportent comme . C'est une généralisation du (en). (fr)
dbo:wikiPageID
  • 10597143 (xsd:integer)
dbo:wikiPageLength
  • 11426 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 165350693 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1984 (xsd:integer)
prop-fr:collection
  • Cambridge tracts in mathematics (fr)
  • Cambridge tracts in mathematics (fr)
prop-fr:fr
  • Martin's maximum (fr)
  • Proper forcing axiom (fr)
  • Rasiowa–Sikorski_lemma (fr)
  • Whitehead problem (fr)
  • lemme de Rasiowa-Sikorski (fr)
  • Martin's maximum (fr)
  • Proper forcing axiom (fr)
  • Rasiowa–Sikorski_lemma (fr)
  • Whitehead problem (fr)
  • lemme de Rasiowa-Sikorski (fr)
prop-fr:isbn
  • 0 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en-gb (fr)
  • en (fr)
  • en-gb (fr)
prop-fr:lieu
  • Cambridge (fr)
  • Cambridge (fr)
prop-fr:nom
  • Fremlin (fr)
  • Fremlin (fr)
prop-fr:numéroDansCollection
  • 84 (xsd:integer)
prop-fr:pagesTotales
  • 325 (xsd:integer)
prop-fr:prénom
  • David H. (fr)
  • David H. (fr)
prop-fr:texte
  • axiome de forcing propre (fr)
  • Maximum de Martin (fr)
  • groupe de Whitehead (fr)
  • lemme de Rasiowa-Sikorski (fr)
  • axiome de forcing propre (fr)
  • Maximum de Martin (fr)
  • groupe de Whitehead (fr)
  • lemme de Rasiowa-Sikorski (fr)
prop-fr:titre
  • Consequences of Martin's axiom (fr)
  • Consequences of Martin's axiom (fr)
prop-fr:trad
  • Rasiowa–Sikorski lemma (fr)
  • Rasiowa–Sikorski lemma (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à se comportent comme . C'est une généralisation du (en). (fr)
  • En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à se comportent comme . C'est une généralisation du (en). (fr)
rdfs:label
  • Axioma de Martin (pt)
  • Axiome de Martin (fr)
  • Martin's axiom (en)
  • Аксиома Мартина (ru)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of