✦ LIBER ✦

Realizability interpretation of generalized inductive definitions

✍ Scribed by Satoshi Kobayashi; Makoto Tatsuta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Realizability interpretation of coinduct

✍ Makoto Tatsuta 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 942 KB

Ordinal analysis of non-monotone -defina

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

The interpretation of inductive probabil

✍ Arthur Hobson 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 199 KB

Extremal definitions of generalized inve

✍ Michael P. Drazin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 673 KB

Comment on the interpretation of inducti

✍ Abner Shimony 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 263 KB

On Principles of Inductive Definition

✍ Bernhard Banaschewski 📂 Article 📅 1960 🏛 John Wiley and Sons 🌐 English ⚖ 639 KB