On the existence of certain total recursive functions in nontrivial axiom systems, I
da Costa, N. C. A. · Doria, F. A.
Original · EN
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 Σ₁-sound set theory, ZFC P<NP.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.