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

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

1998-04-30

arxiv.org/abs/cmp-lg/9804005v1

Computer Science

Computation and Language

LaTeX, 16 pages, no figures. This paper was submitted to a major journal in the field and rejected. The referee somehow misund

Scientific paper

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 set theory, ZFC$\not\vdash P

Affiliated with

Also associated with

No associations

Rating

On the existence of certain total recursive functions in nontrivial axiom systems, I does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the existence of certain total recursive functions in nontrivial axiom systems, I, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the existence of certain total recursive functions in nontrivial axiom systems, I will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-5862