| Property |
Value |
| dbo:abstract
|
- En logique mathématique, et particulièrement en théorie des ensembles et en théorie des modèles, la méthode du va-et-vient est une méthode pour démontrer l'isomorphisme entre des structures dénombrables vérifiant certaines conditions additionnelles. (fr)
- En logique mathématique, et particulièrement en théorie des ensembles et en théorie des modèles, la méthode du va-et-vient est une méthode pour démontrer l'isomorphisme entre des structures dénombrables vérifiant certaines conditions additionnelles. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7021 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1904 (xsd:integer)
- 1914 (xsd:integer)
- 1993 (xsd:integer)
- 2002 (xsd:integer)
|
| prop-fr:collection
| |
| prop-fr:fr
|
- modèle d'Erdős-Rényi (fr)
- m-complet (fr)
- modèle atomique (fr)
- modèle d'Erdős-Rényi (fr)
- m-complet (fr)
- modèle atomique (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Wilfrid Hodges (fr)
- Felix Hausdorff (fr)
- Edward Vermilye Huntington (fr)
- Wilfrid Hodges (fr)
- Felix Hausdorff (fr)
- Edward Vermilye Huntington (fr)
|
| prop-fr:lieu
|
- Leipzig (fr)
- Berlin, New York (fr)
- Leipzig (fr)
- Berlin, New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Hodges (fr)
- Huntington (fr)
- Marker (fr)
- Hausdorff (fr)
- Hodges (fr)
- Huntington (fr)
- Marker (fr)
- Hausdorff (fr)
|
| prop-fr:pagesTotales
|
- 345 (xsd:integer)
- 772 (xsd:integer)
|
| prop-fr:prénom
|
- Felix (fr)
- David (fr)
- Wilfrid (fr)
- Edward Vermilye (fr)
- Felix (fr)
- David (fr)
- Wilfrid (fr)
- Edward Vermilye (fr)
|
| prop-fr:sousTitre
|
- An Introduction (fr)
- An Introduction (fr)
|
| prop-fr:texte
|
- m-complets (fr)
- modèles atomiques (fr)
- m-complets (fr)
- modèles atomiques (fr)
|
| prop-fr:titre
|
- Model Theory (fr)
- Grundzüge der Mengenlehre (fr)
- Model theory (fr)
- The continuum and other types of serial order, with an introduction to Cantor's transfinite numbers (fr)
- Model Theory (fr)
- Grundzüge der Mengenlehre (fr)
- Model theory (fr)
- The continuum and other types of serial order, with an introduction to Cantor's transfinite numbers (fr)
|
| prop-fr:trad
|
- Erdős–Rényi model (fr)
- Atomic model (fr)
- M-complete (fr)
- Erdős–Rényi model (fr)
- Atomic model (fr)
- M-complete (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, et particulièrement en théorie des ensembles et en théorie des modèles, la méthode du va-et-vient est une méthode pour démontrer l'isomorphisme entre des structures dénombrables vérifiant certaines conditions additionnelles. (fr)
- En logique mathématique, et particulièrement en théorie des ensembles et en théorie des modèles, la méthode du va-et-vient est une méthode pour démontrer l'isomorphisme entre des structures dénombrables vérifiant certaines conditions additionnelles. (fr)
|
| rdfs:label
|
- Méthode du va-et-vient (fr)
- Méthode du va-et-vient (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
