Electronic Resource
Springer
Archive for mathematical logic
35 (1996), S. 103-130
ISSN:
1432-0665
Keywords:
03F99
;
03F35
;
03F05
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract We formulate epsilon substitution method for elementary analysisEA (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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01273688
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |