Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/resource/Cantor's_isomorphism_theorem
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
unknown
Property
Value
dbo:
description
uniqueness of countable dense linear orders
(en)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Minkowski_question_mark.svg?width=300
dbo:
wikiPageWikiLink
dbr
:Georg_Cantor
dbr
:Computably_enumerable_set
dbr
:Minkowski's_question-mark_function
dbr
:Quantifier_elimination
dbr
:Countable_set
dbr
:Suslin's_problem
dbr
:Integer
dbr
:Real_number
dbr
:Cardinality
dbr
:Wacław_Sierpiński
dbr
:Dyadic_rational
dbr
:Felix_Hausdorff
dbr
:Dense_order
dbr
:Ordered_pair
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Even_number
dbr
:Martin's_axiom
dbr
:Reflexive_relation
dbr
:Algorithm
dbr
:Coq
dbr
:Greedy_algorithm
dbr
:Order_isomorphism
dbr
:Rational_number
dbc
:Order_theory
dbr
:Binary_relation
dbr
:Continuum_hypothesis
dbr
:Linear_order
dbc
:Model_theory
dbr
:Model_theory
dbr
:Saturated_model
dbr
:Piecewise_linear_function
dbr
:Transitive_relation
dbr
:Proper_forcing_axiom
dbr
:Unit_interval
dbr
:Complete_theory
dbr
:Algebraic_number
dbr
:Bijection
dbr
:Power_of_two
dbr
:Connected_relation
dbr
:Dedekind_cut
dbr
:Arithmetic_mean
dbr
:Axiom_of_choice
dbr
:Total_order
dbr
:Temporal_logic
dbr
:Type_(model_theory)
dbr
:Order_theory
dbr
:Omega-categorical_theory
dbr
:Stable_theory
dbr
:Back-and-forth_method
dbr
:2-transitive_group
dbr
:Baumgartner's_axiom
dbr
:Categorical_theory
dbr
:First-order_theory
dbr
:Order_automorphism
dbr
:File:Minkowski_question_mark.svg
dbr
:Dedekind-complete
dbr
:Cantor's_first_uncountability_proof
dbp:
cs1Dates
ly
(en)
dbp:
date
July 2021
(en)
dbp:
wikiPageUsesTemplate
dbt
:Good_article
dbt
:Reflist
dbt
:R
dbt
:Use_list-defined_references
dbt
:Use_mdy_dates
dbt
:Harvtxt
dbt
:Short_description
dbt
:Order_theory
dct:
subject
dbc
:Georg_Cantor
dbc
:Theorems_in_the_foundations_of_mathematics
dbc
:Order_theory
dbc
:Model_theory
rdfs:
label
Cantor's isomorphism theorem
(en)
owl:
sameAs
wikidata
:Q107710112
dbpedia-global
:FqxR2
prov:
wasDerivedFrom
wikipedia-en
:Cantor's_isomorphism_theorem?oldid=1287143021&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Minkowski_question_mark.svg
wiki-commons
:Special:FilePath/Monotone_piecewise_linear.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Cantor's_isomorphism_theorem
is
dbo:
wikiPageWikiLink
of
dbr
:Minkowski's_question-mark_function
dbr
:Suslin's_problem
dbr
:Fraïssé_limit
dbr
:Dyadic_rational
dbr
:Cantor's_theorem_(disambiguation)
dbr
:Order_isomorphism
dbr
:List_of_theorems
dbr
:Omega-categorical_theory
dbr
:Back-and-forth_method
dbr
:Baumgartner's_axiom
dbr
:Dushnik–Miller_theorem
dbr
:List_of_things_named_after_Georg_Cantor
is
foaf:
primaryTopic
of
wikipedia-en
:Cantor's_isomorphism_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International