Jumping Out from the System
Memoirs Of A Proof Theorist: Godel & Other Logicians
Cut Elimination Theorem for the Second Order Arithmetic with the [pi]1/1-comprehension Axiom and the [omega]-rule
Proceedings of the 7th & 8th Asian Logic Conferences
An Evaluation of the [omega]-complexity of First Order Arithmetic with the Constructive [omega]-rule
The Ordinals of the Systems of Second Order Arithmetic with the Provably [delta]1/2-comprehension Axiom and with the [delta]1/2-comprehension Axiom Respectively