On a unification problem related to Kreisel's conjecture
On an extremely restricted ω-rule
On computable real functions
On convergence of the Fourier series of a constructive function of weakly bounded variation
On hereditarily separable Hausdorff spaces in the constructible universe
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
On local proof restrictions for strong theories [Book]
On necessary but not-sufficient conditions.
On the Goldbach conjecture and the consistency of general recursive arithemetic.
Operazioni di Brouwer e realizzabilità formalizzata