DROPS

Document

Extended Abstract

DOI: 10.4230/OASIcs.CCA.2009.2264

Sigma^0_alpha - Admissible Representations (Extended Abstract)

Authors: Matthew de Brecht and Akihiro Yamamoto

Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)

Abstract

We investigate a hierarchy of representations of topological spaces by measurable functions that extends the traditional notion of admissible representations common to computable analysis. Specific instances of these representations already occur in the literature (for example, the naive Cauchy representation of the reals and the ``jump'' of a representation), and have been used in investigating the computational properties of discontinuous functions. Our main contribution is the integration of a recently developing descriptive set theory for non-metrizable spaces that allows many previous results to generalize to arbitrary countably based $T_0$ topological spaces. In addition, for a class of topological spaces that include the reals (with the Euclidean topology) and the power set of $\omega$ (with the Scott-topology), we give a complete characterization of the functions that are (topologically) realizable with respect to the level of the representations of the domain and codomain spaces.

Cite as

Matthew de Brecht and Akihiro Yamamoto. Sigma^0_alpha - Admissible Representations (Extended Abstract). In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 119-130, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{debrecht_et_al:OASIcs.CCA.2009.2264,
  author =	{de Brecht, Matthew and Yamamoto, Akihiro},
  title =	{{Sigma^0\underlinealpha - Admissible Representations}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  pages =	{119--130},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2264},
  URN =		{urn:nbn:de:0030-drops-22649},
  doi =		{10.4230/OASIcs.CCA.2009.2264},
  annote =	{Keywords: Admissible representations, Borel measurable functions, computable analysis, descriptive set theory}
}

Search Results

Documents authored by Yamamoto, Akihiro

Sigma^0_alpha - Admissible Representations (Extended Abstract)

Abstract

Cite as

Thanks for your feedback!

Could not send message