About: Cantor's isomorphism theorem

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Cantor's isomorphism theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCantor%27s_isomorphism_theorem&invfp=IFP_OFF&sas=SAME_AS_OFF

In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are order-isomorphic. It is named after Georg Cantor, and can be proved by the back-and-forth method sometimes attributed to Cantor, but Cantor's original proof only used the "going forth" half of this method.

Attributes	Values
rdfs:label	Cantor's isomorphism theorem (en)
rdfs:comment	In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are order-isomorphic. It is named after Georg Cantor, and can be proved by the back-and-forth method sometimes attributed to Cantor, but Cantor's original proof only used the "going forth" half of this method. (en)
foaf:depiction
dcterms:subject	Order theory Model theory
Wikipage page ID	68245955 (xsd:integer)
Wikipage revision ID	1113547825 (xsd:integer)
Link from a Wikipage to another Wikipage	Cantor's first uncountability proof Power of two Quantifier elimination Model theory Omega-categorical theory Binary relation Algorithm Dedekind cut Dyadic rational Order isomorphism Order theory Connected relation Coq Countable set Order theory Georg Cantor Minkowski's question-mark function Continuum hypothesis Arithmetic mean Baumgartner's axiom Linear order Complete theory Computably enumerable set Dense order Zermelo–Fraenkel set theory Ordered pair Piecewise linear function Proper forcing axiom 2-transitive group Total order Transitive relation Wacław Sierpiński Algebraic number Even number Felix Hausdorff First-order theory Cardinality Back-and-forth method Temporal logic Model theory Bijection Suslin's problem Axiom of choice Greedy algorithm Integer Order automorphism Categorical theory Rational number Real number Reflexive relation Unit interval Martin's axiom Type (model theory) Saturated model Stable theory Dedekind-complete
sameAs	Cantor's isomorphism theorem Cantor's isomorphism theorem
dbp:wikiPageUsesTemplate	dbt:Harvtxt dbt:R dbt:Reflist dbt:Short_description dbt:Use_list-defined_references dbt:Use_mdy_dates
thumbnail	wiki-commons:Special:FilePath/Minkowski_question_mark.svg?width=300
cs1-dates	ly (en)
date	July 2021 (en)
has abstract	In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are order-isomorphic. It is named after Georg Cantor, and can be proved by the back-and-forth method sometimes attributed to Cantor, but Cantor's original proof only used the "going forth" half of this method. (en)
prov:wasDerivedFrom	wikipedia-en:Cantor's_isomorphism_theorem?oldid=1113547825&ns=0
page length (characters) of wiki page	21264 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Cantor's_isomorphism_theorem
is Link from a Wikipage to another Wikipage of	Omega-categorical theory Dushnik–Miller theorem Dyadic rational Order isomorphism Fraïssé limit Minkowski's question-mark function Baumgartner's axiom Back-and-forth method Suslin's problem Cantor's theorem (disambiguation) List of theorems List of things named after Georg Cantor
is foaf:primaryTopic of	wikipedia-en:Cantor's_isomorphism_theorem

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software