We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as well as seems possible the intrinsic ...

This is a preview. Log in through your library . Abstract A class of global Lyapunov functions is revisited and used to resolve a long-standing open problem on the uniqueness and global stability of ...