Total Representations

Victor Selivanov

doi:10.2168/LMCS-9(2:5)2013

Victor Selivanov - Total Representations

lmcs:1191 - Logical Methods in Computer Science, June 2, 2013, Volume 9, Issue 2 - https://doi.org/10.2168/LMCS-9(2:5)2013

Total RepresentationsArticle

Authors: Victor Selivanov

Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.

https://doi.org/10.2168/LMCS-9(2:5)2013

Source: arXiv.org:1304.1239

Volume: Volume 9, Issue 2

Published on: June 2, 2013

Imported on: May 29, 2011

Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic

Licence: arXiv.org - Non-exclusive license to distribute

Bibliographic References

15 Documents citing this article

Victor Selivanov, 2023, Descriptive complexity of qcb0-spaces, Theoretical Computer Science, 945, pp. 113666, 10.1016/j.tcs.2022.12.016.

Victor Selivanov, Lecture Notes in Computer Science, Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory, pp. 287-298, 2022, 10.1007/978-3-031-08740-0_24.

Antonin Callard;Mathieu Hoyrup, Descriptive complexity on non-Polish spaces, 2020, 10.4230/lipics.stacs.2020.8, https://hal.inria.fr/hal-02298815.

Victor L. Selivanov, arXiv (Cornell University), Well-Quasi Orders and Hierarchy Theory, pp. 271-319, 2020, 10.1007/978-3-030-30229-0_10, http://arxiv.org/abs/1809.02941.

Victor Selivanov, 2020, A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES, arXiv (Cornell University), 87, 2, pp. 732-757, 10.1017/jsl.2020.52, https://arxiv.org/abs/1911.02758.

Takayuki Kihara;Arno Pauly, Lecture notes in computer science, Finite Choice, Convex Choice and Sorting, pp. 378-393, 2019, 10.1007/978-3-030-14812-6_23.

Oleg Kudinov;Victor Selivanov, 2017, First Order Theories of Some Lattices of Open Sets, arXiv (Cornell University), 10.23638/lmcs-13(3:16)2017, https://arxiv.org/abs/1705.04564.

Matthew de Brecht;Matthias Schröder;Victor Selivanov, 2016, Base-complexity classifications of qcb0-spaces1, Computability, 5, 1, pp. 75-102, 10.3233/com-150044.

Vassilios Gregoriades;Tamás Kispéter;Arno Pauly, 2016, A comparison of concepts from computable analysis and effective descriptive set theory, arXiv (Cornell University), 27, 8, pp. 1414-1436, 10.1017/s0960129516000128, https://arxiv.org/abs/1403.7997.

Victor L. Selivanov, 2016, Towards a descriptive theory of cb0-spaces, arXiv (Cornell University), 27, 8, pp. 1553-1580, 10.1017/s0960129516000177, https://arxiv.org/abs/1406.3942.

Arno Pauly;Matthew De Brecht, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Descriptive Set Theory in the Category of Represented Spaces, 2015, Kyoto, 10.1109/lics.2015.48.

Matthew de Brecht;Matthias Schröder;Victor L. Selivanov, Lecture Notes in Computer Science, Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces, pp. 156-166, 2015, 10.1007/978-3-319-20028-6_16.

Luca Motto Ros;Philipp Schlicht;Victor L. Selivanov, 2014, Wadge-like reducibilities on arbitrary quasi-Polish spaces, arXiv (Cornell University), 25, 8, pp. 1705-1754, 10.1017/s0960129513000339, https://arxiv.org/abs/1204.5338.

Matthias Schröder;Victor L. Selivanov, 2014, Some hierarchies of QCB0-spaces, arXiv (Cornell University), 25, 8, pp. 1799-1823, 10.1017/s0960129513000376, http://arxiv.org/abs/1304.1647.

Matthias Schröder;Victor L. Selivanov, arXiv (Cornell University), Hyperprojective Hierarchy of qcb0-Spaces, pp. 352-361, 2014, 10.1007/978-3-319-08019-2_37.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 1066 times.

This article's PDF has been downloaded 284 times.