| Publication | Date of Publication | Type |
|---|
On the ^0_1-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis
Archive for Mathematical Logic | 2026-06-16 | Paper |
On the hierarchy of linearity axioms
Archive for Mathematical Logic | 2026-04-13 | Paper |
| A logical characterization of the continuous bar induction | 2024-09-11 | Paper |
Prenex normalization and the hierarchical classification of formulas
Archive for Mathematical Logic | 2024-04-16 | Paper |
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
Journal of Symbolic Logic | 2023-12-22 | Paper |
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
The Bulletin of Symbolic Logic | 2023-10-13 | Paper |
Refining the arithmetical hierarchy of classical principles
Mathematical Logic Quarterly | 2023-09-12 | Paper |
König's lemma, weak König's lemma, and the decidable fan theorem
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Decidable fan theorem and uniform continuity theorem with continuous moduli
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Parallelizations in Weihrauch reducibility and constructive reverse mathematics | 2022-12-16 | Paper |
| An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis | 2022-12-07 | Paper |
\(\Delta^0_1\) variants of the law of excluded middle and related principles
Archive for Mathematical Logic | 2022-10-18 | Paper |
Prenex normal form theorems in semi-classical arithmetic
Journal of Symbolic Logic | 2021-12-09 | Paper |
Weihrauch and constructive reducibility between existence statements
Computability | 2021-06-25 | Paper |
Characterising Brouwer's continuity by bar recursion on moduli of continuity
Archive for Mathematical Logic | 2021-01-19 | Paper |
Prenex normal form theorems in semi-classical arithmetic
(available as arXiv preprint) | 2020-09-07 | Paper |
| Bar induction and restricted classical logic | 2020-03-04 | Paper |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
Annals of Pure and Applied Logic | 2019-05-31 | Paper |
Interrelation between weak fragments of double negation shift and related principles
Journal of Symbolic Logic | 2018-10-26 | Paper |
Some principles weaker than Markov's principle
Archive for Mathematical Logic | 2015-11-18 | Paper |
Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)
Evolving Computability | 2015-10-20 | Paper |
Classical provability of uniform versions and intuitionistic provability
Mathematical Logic Quarterly | 2015-06-22 | Paper |
On the strength of marriage theorems and uniformity
Mathematical Logic Quarterly | 2014-06-06 | Paper |
A note on the sequential version of ^1_2 statements
Lecture Notes in Computer Science | 2013-08-05 | Paper |
