V\'\i t\v ezslav \v Svejdar

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

PDF

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

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