Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective

by Gerhard Jäger
Citations:4 - 2 self