Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory

Jacob Cook, Michael Rathjen

Until the 1970s, proof theoretic investigations were mainly concerned with theories of inductive definitions, subsystems of analysis and finite type systems. With the pioneering wo…