Metapredicative and explicit Mahlo: a proof-theoretic perspective, in: R. Cori et al (0)

by G Jäger
Venue:Eds.) Proceedings of the Logic Colloquium 2000, Lecture