University of Leicester
Browse
U391950.pdf (3.89 MB)

Parameter reduction in definition by multi-successor recursion.

Download (3.89 MB)
thesis
posted on 2015-11-19, 08:55 authored by J. C. Burville
It is well known that in primitive recursive arithmetic with a single successor the number of parameters in a definition by recursion may be successively reduced. In this thesis I examine the possibility of effecting a similar reduction in the number of parameters in a definition by recursion in a multi-successor arithmetic. The reduction process involves the discovery in multi-successor arithmetic of analogues of pairing functions and of functions which select the elements of an ordered pair. One of the difficulties in finding such functions is the construction within multi-successor arithmetic of suitable product and square foot functions and establishing the properties of these functions, and the pairing functions, within a formalisation of multi-successor arithmetic. The reduction process involves of course an examination of what functions, if any, need to be adjoined to the initial functions to secure the generality of the reduction.

History

Date of award

1973-01-01

Author affiliation

Mathematics

Awarding institution

University of Leicester

Qualification level

  • Doctoral

Qualification name

  • PhD

Language

en

Usage metrics

    University of Leicester Theses

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC