Gerhard Jäger. First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. Journal of Symbolic Logic, 66(3):1073-1089, 2001.
@article{Jager01:3, title = {First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo}, author = {Gerhard Jäger}, year = {2001}, researchr = {https://researchr.org/publication/Jager01%3A3}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {66}, number = {3}, pages = {1073-1089}, }