Found 37 results
Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.. 2015.
Preliminary investigations into Eilenberg-Moore algebras arising in descriptive set theory. Dagstuhl Reports. 5. 2015.
A simple conservation proof for ADS. easuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Schloss Dagstuhl.. 2015.
Some principles weaker than Markov’s principle. Computability Theory and Foundations of Mathematics 2015.. 2015.
Some principles weaker than Markov's principle. Archive for Mathematical Logic. 54:861–870.. 2015.
Teaching Modal Logic from Linear Algebraic Viewpoints. Proceedings of the 4th International Conference on Tools for Teaching Logic (TTL2015). :55-64.. 2015.
A uniform continuity principle for the Baire space and a corresponding bar induction. Topology, Algebra, and Categories in Logic 2015.. 2015.