research
∙
08/02/2023
On the Metric Temporal Logic for Continuous Stochastic Processes
In this paper, we prove measurability of event for which a general conti...
share
research
∙
01/20/2023
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
The well known ideal presentations of countably based domains were recen...
research
∙
02/01/2022
Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory
We present three different perspectives of oracle. First, an oracle is a...
research
∙
06/06/2021
Lawvere-Tierney topologies for computability theorists
In this article, we introduce certain kinds of computable reduction game...
research
∙
02/25/2020
Degrees of incomputability, realizability and constructive reverse mathematics
There is a way of assigning a realizability notion to each degree of inc...
research
∙
09/24/2019
Wadge-like degrees of Borel bqo-valued functions
We unite two well known generalisations of the Wadge theory. The first o...
research
∙
07/05/2019
A comparison of various analytic choice principles
We investigate computability theoretic and descriptive set theoretic con...
research
∙
05/02/2019
Convex choice, finite choice and sorting
We study the Weihrauch degrees of closed choice for finite sets, closed ...
research
∙
04/08/2019
Enumeration degrees and non-metrizable topology
The enumeration degrees of sets of natural numbers can be identified wit...
research
∙
12/04/2018
Searching for an analogue of ATR in the Weihrauch lattice
There are close similarities between the Weihrauch lattice and the zoo o...
research
∙
03/10/2018
