Abstract | ||
---|---|---|
The epsilon substitution method was proposed by D. Hilbert as a tool for consistency proofs. A version for first order predicate logic had been described and proved to terminate in the monograph “Grundlagen der Mathematik”. As far as the author knows, there have been no attempts to extend this approach to the second order case. We discuss possible directions for and obstacles to such extensions. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1016/j.apal.2012.05.004 | Annals of Pure and Applied Logic |
Keywords | DocType | Volume |
03F35,03F30,03F05,03B15 | Journal | 164 |
Issue | ISSN | Citations |
6 | 0168-0072 | 2 |
PageRank | References | Authors |
0.70 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |