About: Degrees of Non-computability of Homeomorphism Types of Polish Spaces

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

About: Degrees of Non-computability of Homeomorphism Types of Polish Spaces Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
title	Degrees of Non-computability of Homeomorphism Types of Polish Spaces
Creator	Hoyrup, Mathieu Kihara, Takayuki Selivanov, Victor
source	PMC
abstract	There are continuum many homeomorphism types of Polish spaces. In particular, there is a Polish space which is not homeomorphic to any computably presented Polish space. We examine the details of degrees of non-computability of presenting homeomorphic copies of Polish spaces.
has issue date	2020-06-24(xsd:dateTime)
bibo:doi	10.1007/978-3-030-51466-2_16
has license	no-cc
sha1sum (hex)	27eb92be2d14b28da9d9a47b8e8e9bab4e2d8aa0
schema:url	https://doi.org/10.1007/978-3-030-51466-2_16
resource representing a document's title	Degrees of Non-computability of Homeomorphism Types of Polish Spaces
has PubMed Central identifier	PMC7309475
schema:publication	Beyond the Horizon of Computability
resource representing a document's body	covid:27eb92be2d14b28da9d9a47b8e8e9bab4e2d8aa0#body_text
is schema:about of	named entity 'Types' named entity 'DEGREES' named entity 'degrees' named entity 'homeomorphic' named entity 'spaces' named entity 'Polish space' named entity 'homeomorphic' named entity 'homeomorphic' named entity 'Polish spaces' named entity 'Non-computability' named entity 'computable structure theory' named entity 'Turing degrees' named entity 'isomorphism types' named entity 'homeomorphic' named entity 'natural numbers' named entity 'metrizable space' named entity 'Russian Science Foundation' named entity 'metrizable space' named entity 'Turing degree' named entity 'homeomorphism' named entity 'homeomorphism' named entity 'metrizable' named entity 'metric spaces' named entity 'linear orders' named entity 'countable' named entity 'distance function' named entity 'Cauchy completion' named entity 'lattices' named entity 'infinite dimensional' named entity 'natural number' named entity 'Stone duality' named entity 'natural number' named entity 'Polish spaces' named entity 'Polish spaces' named entity 'distance function' named entity 'Polish space' named entity 'abstract theory' named entity 'homeomorphism' named entity 'homeomorphism' named entity 'Cauchy completion' named entity 'Polish space' named entity 'metrizable space' named entity 'kernel' named entity 'topological spaces' named entity 'Polish space' named entity 'Turing degree' named entity 'Turing degree' named entity 'Polish space' named entity 'high-dimensional' named entity 'Bendixson derivative' named entity 'Polish spaces' named entity 'metric structures' named entity 'zero-dimensional' named entity 'separable' named entity 'Turing degrees' named entity 'computable analysis' named entity 'homeomorphic' named entity 'homeomorphism' named entity 'metric spaces' named entity 'computable analysis' named entity 'Polish space' named entity 'mathematical structure' named entity 'Polish space' named entity 'Stone duality' named entity 'Turing degree' named entity 'metrizable space' named entity 'Boolean algebras' named entity 'finite union' named entity 'mathematical objects' named entity 'metrizable space' named entity 'Turing degree' named entity 'Polish space' named entity 'kernel' named entity 'homeomorphic' named entity 'non-computability' named entity 'computable analysis' named entity 'Polish space' named entity 'isomorphism types' named entity 'open balls' named entity 'Stone duality' named entity 'Polish space'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software