Successor systems : an investigation into the primitive recursive functions of generalised multisuccessor arithmetics, with applications to constructive algebra
The thesis is concerned with the extension of the notion of primitive recursion to structures other than the natural numbers. Successor systems are generalisations of the arithmetics of Vu?kovi? [2], and as a class are closed under operations corresponding to direct products and quotient formation....
| Main Author: | |
|---|---|
| Published: |
University of Leicester
1975
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.473659 |