Computability on Quasi-Polish Spaces
暂无分享,去创建一个
Mathieu Hoyrup | Cristobal Rojas | Donald M. Stull | Victor Selivanov | D. M. Stull | V. Selivanov | M. Hoyrup | Cristobal Rojas
[1] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[2] Victor L. Selivanov,et al. Towards a descriptive set theory for domain-like structures , 2006, Theor. Comput. Sci..
[3] Oleg V. Kudinov,et al. On Higher Effective Descriptive Set Theory , 2017, CiE.
[4] A. Louveau,et al. Recursivity and compactness , 1978 .
[5] Oleg V. Kudinov,et al. Towards Computability over Effectively Enumerable Topological Spaces , 2008, CCA.
[6] Mathieu Hoyrup,et al. Genericity of Weakly Computable Objects , 2017, Theory of Computing Systems.
[7] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[8] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.
[9] Victor L. Selivanov,et al. On the Difference Hierarchy in Countably Based T0-Spaces , 2008, CCA.
[10] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[11] Vassilios Gregoriades,et al. Classes of Polish Spaces Under Effective Borel Isomorphism , 2016, 1701.03735.
[12] Klaus Weihrauch,et al. Computable metrization , 2007, Math. Log. Q..
[13] Su Gao. Invariant Descriptive Set Theory , 2008 .
[14] Matthew de Brecht. Quasi-Polish spaces , 2011, Ann. Pure Appl. Log..
[15] Victor L. Selivanov. Towards the Effective Descriptive Set Theory , 2015, CiE.
[16] Verónica Becher,et al. Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization , 2013, Mathematical Structures in Computer Science.
[17] Arno Pauly,et al. Overt choice , 2019, Comput..
[18] Arno Pauly,et al. A comparison of concepts from computable analysis and effective descriptive set theory , 2014, Mathematical Structures in Computer Science.
[19] Benjamin Naumann,et al. Classical Descriptive Set Theory , 2016 .
[20] R. Schindler. Descriptive Set Theory , 2014 .
[21] Ruiyuan Chen. Notes on quasi-Polish spaces , 2018 .