Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Matthew de Brecht"'
Autor:
Matthew de Brecht, Tatsuji Kawai
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutat
Externí odkaz:
https://doaj.org/article/f6e3e13228cc4d69bb461c91c2a37dec
Autor:
Matthew de Brecht
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and $T_0$-separa
Externí odkaz:
https://doaj.org/article/e6112a8681fd4fa8825b0852d0770e7b
Publikováno v:
PLoS ONE, Vol 13, Iss 4, p e0195865 (2018)
The study of visual perception has largely been completed without regard to the influence that an individual's emotional status may have on their performance in visual tasks. However, there is a growing body of evidence to suggest that mood may affec
Externí odkaz:
https://doaj.org/article/f78ee734207d45c0a5d7c3d312b31f20
Autor:
Arno Pauly, Matthew de Brecht
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 143, Iss Proc. DCM 2012, Pp 87-96 (2014)
We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines. Thus, we demonstrate that dev
Externí odkaz:
https://doaj.org/article/75a3d17c0a4f48968635f4b601046844
Publikováno v:
Revolutions and Revelations in Computability ISBN: 9783031087394
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adf43b74d3ba6326c33a9cdf8427c68b
https://doi.org/10.1007/978-3-031-08740-0_8
https://doi.org/10.1007/978-3-031-08740-0_8
Publikováno v:
Journal of Vision. 22:3578
Autor:
Matthew de Brecht
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030514655
CiE
CiE
It was shown in [4] that the quasi-Polish spaces introduced in [2] can be equivalently characterized as spaces of ideals in the following sense.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93cf550b65fc2cd9ebecc7ee0859426f
https://doi.org/10.1007/978-3-030-51466-2_3
https://doi.org/10.1007/978-3-030-51466-2_3
Publikováno v:
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, Elsevier, 2019, 345, pp.3-35. ⟨10.1016/j.entcs.2019.07.014⟩
ISDT
Electronic Notes in Theoretical Computer Science, Elsevier, 2019, 345, pp.3-35. ⟨10.1016/j.entcs.2019.07.014⟩
ISDT
We study $G_\delta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_\delta$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in particular, all co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9862d4706bbaf72af59330f4c109959e
https://hal.archives-ouvertes.fr/hal-03187790
https://hal.archives-ouvertes.fr/hal-03187790
Publikováno v:
Computability. 5:75-102
We define and study new classifications of qcb\(_0\)-spaces based on the idea to measure the complexity of their bases. The new classifications complement those given by the hierarchies of qcb\(_0\)-spaces introduced in [7, 8] and provide new tools t
Publikováno v:
PLoS ONE
PLoS ONE, Vol 13, Iss 4, p e0195865 (2018)
PLoS ONE, Vol 13, Iss 4, p e0195865 (2018)
The study of visual perception has largely been completed without regard to the influence that an individual's emotional status may have on their performance in visual tasks. However, there is a growing body of evidence to suggest that mood may affec