Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

An Approach to an Epsilon Substitution method for ID_1
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 45

MSC 2000

03F05 Cut-elimination and normal-form theorems

03F35 Second- and higher-order arithmetic and fragments

03F99 None of the above, but in this section

03D50 Recursive equivalence types of sets and structures, isols

Keywords: epsilon substitution method, inductive definitions, impredicative subsystems of analysis