| Publication | Date of Publication | Type |
|---|
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Computability | 2025-03-03 | Paper |
Constructing the space of valuations of a quasi-Polish space as a space of ideals
(available as arXiv preprint) | 2024-04-10 | Paper |
| Ideal presentations and numberings of some classes of effective quasi-Polish spaces | 2023-01-20 | Paper |
Some notes on spaces of ideals and computable topology
(available as arXiv preprint) | 2022-12-16 | Paper |
| Enumerating classes of effective quasi-Polish spaces | 2022-12-07 | Paper |
Domain-complete and LCS-complete spaces
(available as arXiv preprint) | 2022-04-25 | Paper |
Non-deterministic computation and the Jayne-Rogers theorem
(available as arXiv preprint) | 2021-06-22 | Paper |
| Non-deterministic computation and the Jayne-Rogers theorem | 2021-06-22 | Paper |
Overt choice
Computability | 2020-11-09 | Paper |
Noetherian quasi-Polish spaces
(available as arXiv preprint) | 2020-05-26 | Paper |
Some notes on spaces of ideals and computable topology
(available as arXiv preprint) | 2020-04-28 | Paper |
scientific article; zbMATH DE number 7093560 (Why is no real title available?)
(available as arXiv preprint) | 2019-08-13 | Paper |
Domain-complete and LCS-complete spaces
(available as arXiv preprint) | 2019-02-28 | Paper |
Descriptive set theory in the category of represented spaces
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A generalization of a theorem of Hurewicz for quasi-Polish spaces
(available as arXiv preprint) | 2018-02-20 | Paper |
On the commutativity of the powerspace constructions
(available as arXiv preprint) | 2017-09-18 | Paper |
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
Computability | 2016-04-13 | Paper |
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
Evolving Computability | 2015-10-20 | Paper |
Levels of discontinuity, limit-computability, and jump operators
(available as arXiv preprint) | 2015-04-09 | Paper |
| Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces | 2013-07-07 | Paper |
Quasi-Polish spaces
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
| \(\Sigma^{0}_\alpha\)-admissible representations. (Extended abstract) | 2012-09-28 | Paper |
Closed choice and a uniform low basis theorem
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Topological properties of concept spaces (full version)
Information and Computation | 2010-04-08 | Paper |
Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data
Theoretical Computer Science | 2010-03-09 | Paper |
Topological Properties of Concept Spaces
Lecture Notes in Computer Science | 2008-10-14 | Paper |
Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data
Lecture Notes in Computer Science | 2008-09-04 | Paper |
A neural network implementation of a saliency map model
Neural Networks | 2007-01-11 | Paper |
