Digitale Medien
Springer
Archive for mathematical logic
35 (1996), S. 103-130
ISSN:
1432-0665
Schlagwort(e):
03F99
;
03F35
;
03F05
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01273688
Permalink
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |