About: dbpedia-fr:Méthode_du

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Méthode_du_va-et-vient Goto Sponge Distinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Méthode du va-et-vient (fr)
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)
sameAs	dbr:Back-and-forth_method wikidata:Q4839003 dbpedia-ja:カントールの往復論法 http://g.co/kg/m/06gl83 http://ma-graph.org/entity/2780191597
Wikipage page ID	10756178 (xsd:integer)
Wikipage revision ID	175498233 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_modèles Boolean algebra (structure) Bertrand Russell dbpedia-fr:Bijection dbpedia-fr:Cambridge_University_Press Countable set Infinite set Computable function dbpedia-fr:Georg_Cantor Graduate Texts in Mathematics dbpedia-fr:Graphe_aléatoire dbpedia-fr:Graphe_de_Rado Harvard University Press Isomorphism dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé dbpedia-fr:Logique_mathématique dbpedia-fr:Nombre_algébrique dbpedia-fr:Nombre_rationnel Dense order Total order dbpedia-fr:Roland_Fraïssé dbpedia-fr:Récursivement_énumérable dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_modèles dbpedia-fr:Théorème_de_Cantor_(théorie_des_ordres)
Link from a Wikipage to an external page	https://archive.org/details/continuumotherty00hunt https://books.google.com/books%3Fid=Rf6GWut4D30C&printsec=frontcover https://archive.org/details/grundzgedermen00hausuoft https://books.google.com/books%3Fid=gkvogoiEnuYC&printsec=frontcover
page length (characters) of wiki page	7021 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Harvsp dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Voir_homonymes
prov:wasDerivedFrom	wikipedia-fr:Méthode_du_va-et-vient?oldid=175498233&ns=0
prop-fr:année	1904 (xsd:integer) 1914 (xsd:integer) 1993 (xsd:integer) 2002 (xsd:integer)
prop-fr:collection	Graduate Texts in Mathematics
prop-fr:fr	modèle d'Erdős-Rényi (fr) m-complet (fr) modèle atomique (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Wilfrid Hodges (fr) Felix Hausdorff (fr) Edward Vermilye Huntington (fr)
prop-fr:lieu	Leipzig (fr) Berlin, New York (fr)
prop-fr:lireEnLigne	https://archive.org/details/continuumotherty00hunt https://books.google.com/books%3Fid=Rf6GWut4D30C&printsec=frontcover https://archive.org/details/grundzgedermen00hausuoft https://books.google.com/books%3Fid=gkvogoiEnuYC&printsec=frontcover
prop-fr:nom	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)
prop-fr:sousTitre	An Introduction (fr)
prop-fr:texte	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)
prop-fr:trad	Erdős–Rényi model (fr) Atomic model (fr) M-complete (fr)
prop-fr:éditeur	dbpedia-fr:Cambridge_University_Press Harvard University Press dbpedia-fr:Springer_Science+Business_Media Veit & Comp. (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Méthode_du_va-et-vient
has 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)
is dbo:wikiPageWikiLink of	dbpedia-fr:Graphe_de_Rado dbpedia-fr:Héloïse_(abbesse) dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé dbpedia-fr:Roland_Fraïssé dbpedia-fr:Va_et_vient

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 16 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software