Institut Mittag-Leffler The Royal Swedish Academy of Sciences

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

Theories and Ordinals in Proof Theory
Source file as TeX DVI Data Postscript Document Portable Document Format

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

MSC 2000

03F50 Metamathematics of constructive systems

03F25 Relative consistency and interpretations

03E55 Large cardinals

03B15 Higher-order logic and type theory

Keywords: Theories, Ordinal Analysis, Ordinal Representation Systems, E-Recursion, Patterns of Resemblance