Article contents
First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
Published online by Cambridge University Press: 12 March 2014
Abstract
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 à la Richter with recursively inaccessible and Mahlo closure ordinals is given.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2001
References
REFERENCES
- 7
- Cited by