STRONG TERMINATION FOR THE EPSILON-SUBSTITUTION METHOD

Authors
MINTS G
Citation
G. Mints, STRONG TERMINATION FOR THE EPSILON-SUBSTITUTION METHOD, The Journal of symbolic logic, 61(4), 1996, pp. 1193-1205
Citations number
20
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
61
Issue
4
Year of publication
1996
Pages
1193 - 1205
Database
ISI
SICI code
0022-4812(1996)61:4<1193:STFTEM>2.0.ZU;2-U
Abstract
Ackermann proved termination for a special order of reductions in Hilb ert's epsilon substitution method for the first order arithmetic. We e stablish termination for arbitrary order of reductions.