First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo
Jager, Gerhard
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1073-1089 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.
Publié le : 2001-09-14
Classification:  
@article{1183746546,
     author = {Jager, Gerhard},
     title = {First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1073-1089},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746546}
}

Jager, Gerhard. First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1073-1089. http://gdmltest.u-ga.fr/item/1183746546/