A continuous, constructive solution to Hilbert's 17th problem.
A model for HAS. A topological interpretation of the theory of species of natural numbers
A Model of Intuitionistic Analysis.
A topological interpretation of second-order intuitionistic arithmetic
An algebraic approach to the Heyting-Brouwer predicate calculus
Approximation theory of uniqueness conditions by existence conditions
Choice sequences and Markov's principle
Choice sequences and reduction processes.
Constructions of finitely generated submodules of constructively noetherian modules
Constructive dimension theory
De l'infinitésimal au local (Thèse de Doctorat d'État)
Disjunctive properties of intuitionistic systems.
Ein intuitionistischer Beweis für den Graphensatz von D. Koenig
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Elementary interpretations of negationless arithmetic
Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra.
Gilt das Lemma von König "konstruktiv"?
Infinitésimaux et intuitionnisme