id: 05660732
dt: j
an: 05660732
au: Bruni, Riccardo
ti: A note on theories for quasi-inductive definitions.
so: Rev. Symb. Log. 2, No. 4, 684-699 (2009).
py: 2009
pu: Cambridge University Press, Cambridge
la: EN
cc: 
ut: arithmetical quasi-inductive definitions; proof-theoretic bounds
ci: Zbl 0634.03002
li: doi:10.1017/S175502030909025X
ab: Summary: This paper introduces theories for arithmetical quasi-inductive
    definitions [{\it J. P. Burgess}, J. Symb. Log. 51, 663‒681 (1986;
    Zbl 0634.03002)] as it has been done for first-order monotone and
    nonmonotone inductive ones. After displaying the basic axiomatic
    framework, we provide some initial result in the proof-theoretic bounds
    line of research (the upper one being given in terms of a theory of
    sets extending Kripke-Platek set theory).
rv: