On the existence of certain total recursive functions in nontrivial axiom systems, I

N. C. A. da Costa, F. A. Doria

We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for ${\Sigma }_1$-sound se…