Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness.

Stefano Berardi

Browse the full CSL paper archive.