Abstract | ||
---|---|---|
We formulate epsilon substitution method for elementary analysis $EA$ (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/s001530050036 | Arch. Math. Log. |
Keywords | Field | DocType |
second order | Discrete mathematics,Arithmetic function,Embedding,Algebra,Epsilon calculus,Mathematical proof,Substitution method,Predicate (grammar),Mathematics,Ramification,Second-order arithmetic | Journal |
Volume | Issue | ISSN |
35 | 2 | 1432-0665 |
Citations | PageRank | References |
19 | 3.53 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Sergei Tupailo | 2 | 35 | 6.98 |
Wilfried Buchholz | 3 | 159 | 57.31 |