4 citations · 4 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
Classifying the provably total set functions of KP and KP(P)
Jacob Cook, Michael Rathjen
This article is concerned with classifying the provably total set-functions of Kripke-Platek set theory, KP, and Power Kripke-Platek set theory, KP(P), as well as proving several (…
math.LO2016
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…