✦ LIBER ✦

On Non-Monotone Formula Inductive Definitions

✍ Scribed by Cutland, N.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordinal analysis of non-monotone -defina

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

Monotone Inductive Definitions over the

✍ Douglas Cenzer 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 272 KB

On the Intuitionistic Strength of Monoto

✍ Sergei Tupailo 📂 Article 📅 2004 🏛 Association for Symbolic Logic 🌐 English ⚖ 956 KB

Non-deterministic inductive definitions

✍ Berg, Benno 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 259 KB

Elementary inductive definitions in HA:

✍ Dirk Roorda 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 434 KB

Monotonic and non-monotonic inductive in

✍ Klaus P. Jantke 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 567 KB