Article contents
Some hierarchies of QCB0-spaces
Published online by Cambridge University Press: 10 November 2014
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
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
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
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. (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
- 7
- Cited by