“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 2321 |
|
| Abstract: | |
|
It is shown that all the provably total functions of Basic
Arithmetic BA, a theory introduced by Ruitenburg based on
Predicate Basic Calculus, are primitive recursive. Along the proof
of a new kind of primitive recursive realizability to which BA is
sound, is introduced. This realizability is similar to Kleene 's
recursive realizability, except that recursive functions are
restricted to primitive recursives.
Download TeX format |
|
| back to top | |
