Racine
Descriptive Set Theory and Subsystems of Analysis
Sequent claculi and proof theory
Ramsey Theorem and Set Existence Axioms
A Recursion-theoretic Proof of Hausdorff's Theorem on Ambiguous Borel Sets
A Game-theoretic Proof of Analytic Ramsey Theorem
The Characteristics of Pressure Wave Supercharged Small Diesel Engine
Positive Lyapunov Exponents Can be Obtained from Random Time Series
High-flux Deuterium Plasma Exposure Tests of Actively-cooled Divertor Plate Units in Pisces : September 1993