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 : el.dbpedia.org associated with source document(s)

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)
dbp:wikiPageUsesTemplate	dbt:Harvtxt dbt:R dbt:Reflist dbt:Short_description dbt:Use_list-defined_references dbt:Use_mdy_dates
Subject	Model theory Order theory
thumbnail	wiki-commons:Special:FilePath/Minkowski_question_mark.svg?width=300
foaf:depiction
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Cantor's_isomorphism_theorem?oldid=1069783045&ns=0
Wikipage page ID	68245955 (xsd:integer)
page length (characters) of wiki page	14513 (xsd:nonNegativeInteger)
Wikipage revision ID	1069783045 (xsd:integer)
Link from a Wikipage to another Wikipage	Greedy algorithm Proper forcing axiom Unit interval 2-transitive group Algebraic number Arithmetic mean Axiom of choice Back-and-forth method Baumgartner's axiom Bijection Omega-categorical theory Cantor's first set theory article Categorical theory Georg Cantor Model theory Order theory Piecewise linear function Power of two Suslin's problem Zermelo–Fraenkel set theory Dense order Continuum hypothesis Countable set Dyadic rational Minkowski's question-mark function Order isomorphism Order theory Ordered pair Parity (mathematics) Wacław Sierpiński First-order logic Felix Hausdorff Integer Model theory Saturated model Transitive relation Total order Infimum and supremum Martin's axiom Rational number Real number
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)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Cantor's_isomorphism_theorem
is Link from a Wikipage to another Wikipage of	List of theorems Back-and-forth method Baumgartner's axiom Cantor's theorem (disambiguation) Georg Cantor Dyadic rational Minkowski's question-mark function
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Cantor's_isomorphism_theorem

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software