✦ LIBER ✦

Iterated Inductive Definitions and Subsystems of Analysis

✍ Scribed by W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Iterated Inductive Definitions and Subsy

✍ W. Buchholz, S. Feferman, W. Pohlers, W. Sieg 📂 Library 📅 1981 🏛 Springer 🌐 English ⚖ 3 MB

Cut elimination for impredicative infini

✍ Pohlers, W. 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 826 KB

Ordinal analysis of non-monotone -defina

✍ Wolfram Pohlers 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Inductive definitions, models of compreh

✍ K. R. Apt 📂 Article 📅 1978 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 564 KB

Weak systems of determinacy and arithmet

✍ P. D. Welch, 📂 Article 📅 2011 🏛 Association for Symbolic Logic 🌐 English ⚖ 224 KB

Julia sets of the random iteration syste

✍ Zhou Ji; Qiu Weiyuan; Ren Fuyao 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 314 KB