Institut Mittag-Leffler The Royal Swedish Academy of Sciences

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

Universes over Frege Structures
Source file as TeX DVI Data Postscript Document Portable Document Format

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

MSC 2000

03F25 Relative consistency and interpretations

03F03 Proof theory, general

03D70 Inductive definability

Keywords: Applicative theories, Frege structures, Truth theories, universes, iterated fixed point theories