10 citations · 22 across the 22 of their papers we have counts for
1 paper · 2 filters
Naohi Eguchi, Andreas Weiermann
We present a simplified and streamlined characterisation of provably total computable functions of the theory ID_1 of non-iterated inductive definitions. The idea of the simplifica…