Institut Mittag-Leffler The Royal Swedish Academy of Sciences

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

Intuitionistic fixed point theories for strictly positive operators
Source file as TeX DVI Data Postscript Document Portable Document Format

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

MSC 2000

03F50 Metamathematics of constructive systems

03F55 Intuitionistic mathematics

03F30 First-order arithmetic and fragments

03D70 Inductive definability

Keywords: Intuitionistic fixed point theories, strictly positive operators, accessibility operators, Heyting arithmetic