Descriptive Complexity on Non-Polish Spaces

Authors Antonin Callard, Mathieu Hoyrup



PDF
Thumbnail PDF

File

LIPIcs.STACS.2020.8.pdf
  • Filesize: 497 kB
  • 16 pages

Document Identifiers

Author Details

Antonin Callard
  • Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
Mathieu Hoyrup
  • Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France

Acknowledgements

We want to thank Takayuki Kihara, Arno Pauly and Victor Selivanov for useful discussions on this topic.

Cite AsGet BibTex

Antonin Callard and Mathieu Hoyrup. Descriptive Complexity on Non-Polish Spaces. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 154, pp. 8:1-8:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.STACS.2020.8

Abstract

Represented spaces are the spaces on which computations can be performed. We investigate the descriptive complexity of sets in represented spaces. We prove that the standard representation of a countably-based space preserves the effective descriptive complexity of sets. We prove that some results from descriptive set theory on Polish spaces extend to arbitrary countably-based spaces. We study the larger class of coPolish spaces, showing that their representation does not always preserve the complexity of sets, and we relate this mismatch with the sequential aspects of the space. We study in particular the space of polynomials.

Subject Classification

ACM Subject Classification
  • Theory of computation → Turing machines
  • Mathematics of computing → Point-set topology
Keywords
  • Represented space
  • Computable analysis
  • Descriptive set theory
  • CoPolish spaces

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Vasco Brattka. Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly, 51(1):19-44, 2005. URL: https://doi.org/10.1002/malq.200310125.
  2. Matthew de Brecht. Quasi-Polish spaces. Ann. Pure Appl. Logic, 164(3):356-381, 2013. URL: https://doi.org/10.1016/j.apal.2012.11.001.
  3. Matthew de Brecht, Arno Pauly, and Matthias Schröder. Overt choice. CoRR, abs/1902.05926, 2019. URL: http://arxiv.org/abs/1902.05926.
  4. Matthew de Brecht, Matthias Schröder, and Victor Selivanov. Base-complexity classifications of qcb₀-spaces. Computability, 5(1):75-102, 2016. URL: https://doi.org/10.3233/COM-150044.
  5. Mathieu Hoyrup. Results in descriptive set theory on some represented spaces. Preprint, 2017. URL: http://arxiv.org/abs/1712.03680.
  6. Mathieu Hoyrup, Cristobal Rojas, Victor L. Selivanov, and Donald M. Stull. Computability on quasi-Polish spaces. In Michal Hospodár, Galina Jirásková, and Stavros Konstantinidis, editors, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings, volume 11612 of Lecture Notes in Computer Science, pages 171-183. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-23247-4_13.
  7. Alexander S. Kechris. Classical Descriptive Set Theory. Springer, January 1995. Google Scholar
  8. Dag Normann. Chapter 8 - The continuous functionals. In Edward R. Griffor, editor, Handbook of Computability Theory, volume 140 of Studies in Logic and the Foundations of Mathematics, pages 251-275. Elsevier, 1999. URL: https://doi.org/10.1016/S0049-237X(99)80024-X.
  9. Arno Pauly. On the topological aspects of the theory of represented spaces. Computability, 5(2):159-180, 2015. URL: https://doi.org/10.3233/COM-150049.
  10. Arno Pauly and Matthew de Brecht. Descriptive set theory in the category of represented spaces. In 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pages 438-449. IEEE Computer Society, 2015. URL: https://doi.org/10.1109/LICS.2015.48.
  11. Jean Saint Raymond. Preservation of the Borel class under countable-compact-covering mappings. Topology and its Applications, 154(8):1714-1725, 2007. URL: https://doi.org/10.1016/j.topol.2007.01.006.
  12. Matthias Schröder. Spaces allowing type-2 complexity theory revisited. Math. Log. Q., 50(4-5):443-459, 2004. URL: https://doi.org/10.1002/malq.200310111.
  13. Victor L. Selivanov. Difference hierarchy in φ-spaces. Algebra and Logic, 43(4):238-248, July 2004. URL: https://doi.org/10.1023/B:ALLO.0000035115.44324.5d.
  14. Victor L. Selivanov. Total representations. Logical Methods in Computer Science, 9(2), 2013. URL: https://doi.org/10.2168/LMCS-9(2:5)2013.
  15. Victor L. Selivanov. Effective Wadge hierarchy in computable quasi-Polish spaces. Preprint, 2019. URL: http://arxiv.org/abs/1910.13220.
  16. Robert Vaught. Invariant sets in topology and logic. Fundamenta Mathematicae, 82(3):269-294, 1974. URL: http://eudml.org/doc/214667.
  17. Klaus Weihrauch. Computable Analysis. Springer, Berlin, 2000. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail