Paper Info
Title
Strong Termination For The Epsilon Substitution Method
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.
Year
DOI
Venue
1996
10.2307/2275811
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
61
4
ISSN
Citations 
PageRank 
0022-4812
4
0.66
References 
Authors
0
1
Name
Order
Citations
PageRank
Grigori Mints123572.76