Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-12T20:32:23.084Z Has data issue: false hasContentIssue false
  • English
  • Français

Some hierarchies of QCB0-spaces

Published online by Cambridge University Press:  10 November 2014

MATTHIAS SCHRÖDER  and
VICTOR SELIVANOV
MATTHIAS SCHRÖDER
Affiliation:
University of the Bundeswehr Munich, Germany Email: [email protected]
VICTOR SELIVANOV
Affiliation:
A.P. Ershov Institute of Informatics Systems SB RAS, Novisibirsk, Russia Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into Pω, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of the hierarchies and on the relationships between hierarchies in the two classes.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 25 , Special Issue 8: Computing with Infinite Data: Topological and Logical Foundations Part 2 , December 2015 , pp. 1799 - 1823
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Brattka, V. and Hertling, P. (2002) Topological properties of real number representations. Theoretical Computer Science 284 241–257.Google Scholar
de Brecht, M. (2013) Quasi-Polish spaces. Annals of pure and applied logic 164 356–381.CrossRefGoogle Scholar
de Brecht, M. and Yamamoto, A. (2009) Σ0 α -admissible representations (extended abstract). In: Bauer, A., Hertling, P. and Ko, K.-I (eds.) 6th international conference on computability and complexity in analysis. OASICS 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Google Scholar
Engelking, R. (1989) General Topology, Heldermann, Berlin.Google Scholar
Ershov, Yu. L. (1974) Maximal and everywhere defined functionals. Algebra and Logic 13 210–225.Google Scholar
Escard, M., Lawson, J. and Simpson, A. (2004) Comparing Cartesian closed categories of (Core) compactly generated spaces. Topology and its Applications 143 105–145.Google Scholar
Gierz, G., Hoffmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W. and Scott, D. S. (1980) A compendium of Continuous Lattices, Springer, Berlin.Google Scholar
Hyland, J. M. L. (1979) Filter spaces and continuous functionals. Annals of Mathematical Logic 16 101–143.Google Scholar
Junnila, H. and Künzi, H.-P. (1998) Characterizations of absolute Fσδ -sets. Chechoslovak Mathematical Journal 48 55–64.Google Scholar
Jung, A. (1990) Cartesian closed categories of algebraic CPO's. Theoretical Computer Science 70 233–250.Google Scholar
Kechris, A. S. (1995) Classical Descriptive Set Theory, Springer, New York.Google Scholar
Kleene, S. C. (1959) Countable functionals. In: Heyting, A. (ed.) Constructivity in Mathematics, North Holland, Amsterdam 87–100.Google Scholar
Kreisel, G. (1959) Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, North Holland, Amsterdam 101–128.Google Scholar
Kreitz, C. and Weihrauch, K. (1985) Theory of representations. Theoretical Computer Science 38 35–53.CrossRefGoogle Scholar
Normann, D. (1980) Recursion on the Countable Functionals. Lecture Notes in Mathematics 811.Google Scholar
Normann, D. (1981) Countable functionals and the projective hierarchy. Journal of Symbolic Logic 46.2 209–215.Google Scholar
Normann, D. (1999) The continuous functionals. In: Griffor, E. R. (Ed.) Handbook of Computability Theory, 251–275.Google Scholar
Schröder, M. (2002) Extended admissibility. Theoretical Computer Science 284 519–538.Google Scholar
Schröder, M. (2003) Admissible Representations for Continuous Computations, Ph.D. Thesis, FernUniversität Hagen.Google Scholar
Schröder, M. (2009) The sequential topology on $\mathbb{N}^{\mathbb{N}^{\mathbb{N}}}$ is not regular. Mathematical Structures in Computer Science 19 943–957.Google Scholar
Selivanov, V. L. (2004) Difference hierarchy in ϕ-spaces. Algebra and Logic 43.4 238–248.Google Scholar
Selivanov, V. L. (2005) Variations on the Wadge reducibility. Siberian Advances in Mathematics 15.3 44–80.Google Scholar
Selivanov, V. L. (2005) Hierarchies in ϕ-spaces and applications. Mathematical Logic Quarterly 51.1 45–61.Google Scholar
Selivanov, V. L. (2006) Towards a descriptive set theory for domain-like structures. Theoretical Computer Science 365 258–282.Google Scholar
Selivanov, V. L. (2008) On the difference hierarchy in countably based T 0-spaces. Electronic Notes in Theoretical Computer Science 221 257–269.Google Scholar
Selivanov, V. (2013) Total representations. Logical Methods in Computer Science 9 (2) 1–30. doi: 10.2168/LMCS-9(2:5)2013 Google Scholar
Weihrauch, K. (2000) Computable Analysis, Springer.Google Scholar