Article contents
Strong termination for the epsilon substitution method
Published online by Cambridge University Press: 12 March 2014
Abstract
Ackermann proved termination for a special order of reductions in Hilbert's epsilon substitution method for the first order arithmetic. We establish termination for arbitrary order of reductions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
REFERENCES
- 6
- Cited by