No CrossRef data available.
Article contents
Bounded minimalisation and bounded counting in argument-bounded idc's
Published online by Cambridge University Press: 27 October 2010
Abstract
We define and investigate a number of small inductively defined classes (idc's), à la Gregorczyk, that are based on argument-bounded initial functions and the bounded minimalisation and bounded counting schemata. We establish equivalences between these and other classes in the literature, with an emphasis on minimalism. We also obtain characterisations of the classes in terms of well-known fragments of first-order predicate logic.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 20 , Special Issue 5: Theory and Applications of Models of Computation (TAMC 2008–2009) , October 2010 , pp. 753 - 779
- Copyright
- Copyright © Cambridge University Press 2010