| Attributes | Values |
|---|
| rdfs:label
| - Axioma de Martin (pt)
- Axiome de Martin (fr)
- Martin's axiom (en)
- Аксиома Мартина (ru)
|
| 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)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:année
| |
| prop-fr:collection
| - 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)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:nom
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
| |
| prop-fr:texte
| - 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)
|
| prop-fr:trad
| - Rasiowa–Sikorski lemma (fr)
|
| prop-fr:éditeur
| |
| prop-fr:numéroDansCollection
| |
| foaf:isPrimaryTopicOf
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)