1. Formalizing forcing arguments in subsystems of second-order arithmetic;Avigad;Ann. Pure Appl. Logic,1996
2. Interpreting classical theories in constructive ones;Avigad;J. Symbolic Logic,2000
3. Algebraic proofs of cut elimination;Avigad;J. Logic Algebraic Programming,2001
4. J. Avigad, Ordinal analysis without proofs, in: Sieg et al. (Eds.), Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, Lecture Notes in Logic, Vol. 15, Association for Symbolic Logic, Natick, MA, 2002.
5. J. Avigad, H. Helzner, Transfer principles for intuitionistic nonstandard arithmetic, Arch. Math. Logic, to appear.