Bounded minimalisation and bounded counting in argument-bounded idc's

摘要

We define and investigate a number of small inductively defined classes (idc's), a 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.