This HTML5 document contains 102 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n10https://archive.org/details/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Back_and_Forth
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Roland_Fraïssé
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Rado_graph
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Timeline_of_mathematical_logic
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Dense_order
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Felix_Hausdorff
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbp:knownFor
dbr:Back-and-forth_method
dbo:knownFor
dbr:Back-and-forth_method
Subject Item
dbr:Atomic_model_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Back-and-forth_method
rdf:type
yago:Argument106648724 dbo:Software yago:Communication100033020 yago:Abstraction100002137 yago:MathematicalProof106647864 yago:Indication106797169 yago:WikicatMathematicalProofs yago:Proof106647614 yago:Evidence106643408
rdfs:label
Méthode du va-et-vient Back-and-forth method カントールの往復論法
rdfs:comment
数学基礎論、特に集合論とモデル理論において、カントールの往復論法（カントールのおうふくろんぽう、英：Cantor's back-and-forth method）とは、特定の条件を満たす可算無限濃度を有する構造の間に同型写像が存在することを示す論法であり、ゲオルク・カントールから命名された。特に、以下の証明に使用される。 * カントールは、任意の 2 つの可算無限な稠密全順序集合（全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの）に両端が存在しない（最小元・最大元を持たない）場合、両者が順序同型であることを示すために、この論法を用いた。 全順序集合の同型は、狭義単調増加な全単射である。 従って例えば、有理数全体の集合と実代数的数全体の集合の間には、狭義単調増加な全単射が存在する。 * 原子元を有しない可算無限濃度のブール代数が互いに同型であることを証明するために、この論法を使用できる。 In mathematical logic, especially set theory and model theory, the back-and-forth method is a method for showing isomorphism between countably infinite structures satisfying specified conditions. In particular it can be used to prove that 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.
dcterms:subject
dbc:Articles_containing_proofs dbc:Model_theory dbc:Mathematical_proofs
dbo:wikiPageID
2033586
dbo:wikiPageRevisionID
1106704937
dbo:wikiPageWikiLink
dbr:Boolean_algebra_(structure) dbr:Cantor's_isomorphism_theorem dbr:Bijection dbr:Recursively_enumerable dbr:Computable_function dbr:Erdős–Rényi_model dbr:Cambridge_University_Press dbr:Springer-Verlag dbr:Set_theory dbr:Linear_order dbr:Felix_Hausdorff dbr:Georg_Cantor dbr:Real_number dbr:Isomorphism dbr:Roland_Fraïssé dbc:Articles_containing_proofs dbr:Graduate_Texts_in_Mathematics dbr:Many-one_reduction dbr:Cooper_Harold_Langford dbc:Model_theory dbr:Rado_graph dbc:Mathematical_proofs dbr:Bertrand_Russell dbr:Rational_number dbr:Countably_infinite dbr:Atomic_model_(mathematical_logic) dbr:Algebraic_number dbr:Edward_Vermilye_Huntington dbr:Random_graph dbr:Ehrenfeucht–Fraïssé_game dbr:Harvard_University_Press dbr:Mathematical_logic dbr:Model_theory dbr:Dense_order
dbo:wikiPageExternalLink
n10:modeltheory0000hodg
owl:sameAs
n4:4UgXw freebase:m.06gl83 dbpedia-fr:Méthode_du_va-et-vient dbpedia-ja:カントールの往復論法 wikidata:Q4839003 yago-res:Back-and-forth_method
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Citation dbt:Mathematical_logic
dbo:abstract
In mathematical logic, especially set theory and model theory, the back-and-forth method is a method for showing isomorphism between countably infinite structures satisfying specified conditions. In particular it can be used to prove that * any two countably infinite densely ordered sets (i.e., linearly ordered in such a way that between any two members there is another) without endpoints are isomorphic. An isomorphism between linear orders is simply a strictly increasing bijection. This result implies, for example, that there exists a strictly increasing bijection between the set of all rational numbers and the set of all real algebraic numbers. * any two countably infinite atomless Boolean algebras are isomorphic to each other. * any two equivalent countable atomic models of a theory are isomorphic. * the Erdős–Rényi model of random graphs, when applied to countably infinite graphs, always produces a unique graph, the Rado graph. * any two many-complete recursively enumerable sets are recursively isomorphic. 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. 数学基礎論、特に集合論とモデル理論において、カントールの往復論法（カントールのおうふくろんぽう、英：Cantor's back-and-forth method）とは、特定の条件を満たす可算無限濃度を有する構造の間に同型写像が存在することを示す論法であり、ゲオルク・カントールから命名された。特に、以下の証明に使用される。 * カントールは、任意の 2 つの可算無限な稠密全順序集合（全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの）に両端が存在しない（最小元・最大元を持たない）場合、両者が順序同型であることを示すために、この論法を用いた。 全順序集合の同型は、狭義単調増加な全単射である。 従って例えば、有理数全体の集合と実代数的数全体の集合の間には、狭義単調増加な全単射が存在する。 * 原子元を有しない可算無限濃度のブール代数が互いに同型であることを証明するために、この論法を使用できる。
gold:hypernym
dbr:Method
prov:wasDerivedFrom
wikipedia-en:Back-and-forth_method?oldid=1106704937&ns=0
dbo:wikiPageLength
5921
foaf:isPrimaryTopicOf
wikipedia-en:Back-and-forth_method
Subject Item
dbr:Johann_Benedict_Listing
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbp:knownFor
dbr:Back-and-forth_method
dbo:knownFor
dbr:Back-and-forth_method
Subject Item
dbr:Ehrenfeucht–Fraïssé_game
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Cantor's_isomorphism_theorem
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Saturated_model
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:List_of_things_named_after_Georg_Cantor
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Unfriendly_partition
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
Subject Item
dbr:Back-and-forth_argument
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
dbr:Back-and-forth_property
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
dbr:Back_and_forth_method
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
dbr:Cantor's_back-and-forth_method
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
dbr:Cantor's_back_and_forth_method
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
dbr:Cantor_back-and-forth_method
dbo:wikiPageWikiLink
dbr:Back-and-forth_method
dbo:wikiPageRedirects
dbr:Back-and-forth_method
Subject Item
wikipedia-en:Back-and-forth_method
foaf:primaryTopic
dbr:Back-and-forth_method