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

BORIS DOI
Publisher DOI
Description
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.
Date of Publication
2001
Publication Type
Article
Subject(s)
Language(s)
en
Contributor(s)
Additional Credits
Series
The journal of symbolic logic
Publisher
Cambridge University Press
ISSN
0022-4812
Access(Rights)
open.access
Show full item