This HTML5 document contains 95 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/
n11https://books.google.com/
n6http://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:
n12http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20http://ma-graph.org/entity/
n7https://archive.org/details/
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/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Méthode_du_va-et-vient
rdfs:label
Méthode du va-et-vient
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.
owl:sameAs
wikidata:Q4839003 n6:06gl83 dbr:Back-and-forth_method dbpedia-ja:カントールの往復論法 n20:2780191597
dbo:wikiPageID
10756178
dbo:wikiPageRevisionID
175498233
dbo:wikiPageWikiLink
dbpedia-fr:Harvard_University_Press dbpedia-fr:Bijection dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Roland_Fraïssé category-fr:Théorie_des_modèles dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Algèbre_de_Boole_(structure) dbpedia-fr:Georg_Cantor dbpedia-fr:Cambridge_University_Press dbpedia-fr:Récursivement_énumérable dbpedia-fr:Isomorphisme dbpedia-fr:Nombre_algébrique dbpedia-fr:Graduate_Texts_in_Mathematics dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé dbpedia-fr:Ordre_total dbpedia-fr:Théorie_des_modèles dbpedia-fr:Logique_mathématique dbpedia-fr:Ordre_dense dbpedia-fr:Nombre_rationnel dbpedia-fr:Graphe_aléatoire dbpedia-fr:Bertrand_Russell dbpedia-fr:Ensemble_infini dbpedia-fr:Fonction_calculable dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Graphe_de_Rado dbpedia-fr:Théorème_de_Cantor_(théorie_des_ordres)
dbo:wikiPageExternalLink
n11:books%3Fid=gkvogoiEnuYC&printsec=frontcover n7:grundzgedermen00hausuoft n7:continuumotherty00hunt n11:books%3Fid=Rf6GWut4D30C&printsec=frontcover
dbo:wikiPageLength
7021
dct:subject
category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n8:Références n8:Portail n8:Voir_homonymes n12:Référence n8:Lien n8:Citation_étrangère n8:Ouvrage n8:Harvsp
prov:wasDerivedFrom
wikipedia-fr:Méthode_du_va-et-vient?oldid=175498233&ns=0
prop-fr:année
1904 1914 1993 2002
prop-fr:collection
dbpedia-fr:Graduate_Texts_in_Mathematics
prop-fr:fr
m-complet modèle atomique modèle d'Erdős-Rényi
prop-fr:isbn
978
prop-fr:langue
en
prop-fr:lienAuteur
Felix Hausdorff Wilfrid Hodges Edward Vermilye Huntington
prop-fr:lieu
Berlin, New York Leipzig
prop-fr:lireEnLigne
n7:grundzgedermen00hausuoft n11:books%3Fid=gkvogoiEnuYC&printsec=frontcover n7:continuumotherty00hunt n11:books%3Fid=Rf6GWut4D30C&printsec=frontcover
prop-fr:nom
Hausdorff Huntington Marker Hodges
prop-fr:pagesTotales
772 345
prop-fr:prénom
Wilfrid David Edward Vermilye Felix
prop-fr:sousTitre
An Introduction
prop-fr:texte
m-complets modèles atomiques
prop-fr:titre
The continuum and other types of serial order, with an introduction to Cantor's transfinite numbers Model Theory Grundzüge der Mengenlehre Model theory
prop-fr:trad
Erdős–Rényi model M-complete Atomic model
prop-fr:éditeur
dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Harvard_University_Press dbpedia-fr:Cambridge_University_Press Veit & Comp.
foaf:isPrimaryTopicOf
wikipedia-fr:Méthode_du_va-et-vient
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.