V\'\i t\v ezslav \v Svejdar
Arithmetical classification of the set of all provably recursive functions

Comment.Math.Univ.Carolinae 40,4 (1999) 631-634.

Abstract:The set of all indices of all functions provably recursive in any reasonable theory $T$ is shown to be recursively isomorphic to $U\times \overline {U}$, where $U$ is $\Pi _2$-complete set.

Keywords: provable, recursive, complete
AMS Subject Classification: 03F30, 03D55