First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo

Authors
Jager, G
Citation
G. Jager, First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo, J SYMB LOG, 66(3), 2001, pp. 1073-1089
Citations number
26
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
66
Issue
3
Year of publication
2001
Pages
1073 - 1089
Database
ISI
SICI code
0022-4812(200109)66:3<1073:FOTFNI>2.0.ZU;2-2
Abstract
In this paper first order theories for nonmonotone inductive definitions ar e introduced, and a proof-theoretic analysis for such theories based on com bined operator forms A la Richter with recursively inaccessible and Mahlo c losure ordinals is given.