Abstract
We formulate epsilon substitution method for a theory [Π01, Π01]-FIX for two steps non-monotonic Π01 inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].
Similar content being viewed by others
References
Ackermann, W.: Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann. 117, 162–194 (1940)
Arai, T.: Ordinal diagrams for recursively Mahlo universes. Arch. Math. Logic 39, 353–391 (2000)
Arai, T.: Epsilon substitution method for theories of jump hierachies. Arch. Math. Logic 41, 123–153 (2002)
Arai, T.: Epsilon substitution method for . Ann. Pure Appl. Logic 121, 163–208 (2003)
Arai, T.: Proof theory for theories of ordinals I: recursively Mahlo ordinals. Ann. Pure Appl. Logic 122, 1–85 (2003)
Arai, T.:Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π02-operators. Jour. Symb. Logic 69, 830–850 (2004)
Arai, T.:Ideas in the epsilon substitution method for Π01-FIX. To appear in Ann. Pure Appl. Logic
Mints, G., Tupailo, S., Buchholz, W.: Epsilon substitution method for elementary analysis. Arch. Math. Logic 35, 103–130 (1996)
Richter, W.H., Aczel, P.: Inductive definitions and reflecting properties of admissible ordinals. In: Fenstad, J.E., Hinman, P.G. (eds.) Generalized Recursion Theory (Studies in Logic, vol.79), Oslo, 1972, 301–381. North-Holland, Amsterdam (1974)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Arai, T. Epsilon substitution method for [Π01, Π01]-FIX. Arch. Math. Logic 44, 1009–1043 (2005). https://doi.org/10.1007/s00153-005-0290-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0290-2