| Publication | Date of Publication | Type |
|---|
| Minimum classical extensions of constructive theories | 2022-03-22 | Paper |
Solovay's relative consistency proof for FIM and BI
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
| The strong Spector-Gandy Theorem for the higher analytical pointclasses | 2022-02-07 | Paper |
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019
The Bulletin of Symbolic Logic | 2021-04-21 | Paper |
| Calibrating the negative interpretation | 2021-01-25 | Paper |
Solovay's Relative Consistency Proof for FIM and BI
(available as arXiv preprint) | 2021-01-14 | Paper |
Markov's principle and subsystems of intuitionistic analysis
Journal of Symbolic Logic | 2020-04-06 | Paper |
Iterated definability, lawless sequences, and Brouwer's continuum
Gödel's Disjunction | 2020-04-02 | Paper |
| Intuitionistic Mathematics and Logic | 2020-03-04 | Paper |
| Note on $\Pi^0_{n+1}$-LEM, $\Sigma^0_{n+1}$-LEM and $\Sigma^0_{n+1}$-DNE | 2018-07-27 | Paper |
Intuitionism and effective descriptive set theory
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
Intuitionistic analysis at the end of time
The Bulletin of Symbolic Logic | 2018-01-11 | Paper |
| Another unique weak König's lemma WKL!! | 2014-06-24 | Paper |
Some axioms for constructive analysis
Archive for Mathematical Logic | 2012-09-18 | Paper |
Unavoidable sequences in constructive analysis
MLQ | 2010-04-15 | Paper |
Classical and constructive hierarchies in extended intuitionistic analysis
Journal of Symbolic Logic | 2005-02-09 | Paper |
Analyzing realizability by Troelstra's methods
Annals of Pure and Applied Logic | 2003-01-22 | Paper |
More about relatively lawless sequences
Journal of Symbolic Logic | 1997-08-04 | Paper |
A classical view of the intuitionistic continuum
Annals of Pure and Applied Logic | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 510786 (Why is no real title available?) | 1994-09-01 | Paper |
Relative lawlessness in intuitionistic analysis
Journal of Symbolic Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3739531 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3817696 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3438823 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3438823 (Why is no real title available?) | 1973-01-01 | Paper |
Can there be no nonrecursive functions?
Journal of Symbolic Logic | 1971-01-01 | Paper |
A note onk-axiomatizations of identity
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3329865 (Why is no real title available?) | 1967-01-01 | Paper |
