✦ LIBER ✦

Monotone Inductive Definitions over the Continuum

✍ Scribed by Douglas Cenzer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Δ11-Good Inductive Definitions Over The

✍ Jacques Grassin 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

On Non-Monotone Formula Inductive Defini

✍ Cutland, N. 📂 Article 📅 1980 🏛 Oxford University Press 🌐 English ⚖ 190 KB

On the Intuitionistic Strength of Monoto

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

Ordinal analysis of non-monotone -defina

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

Inductive definitions over finite struct

✍ Daniel Leivant 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 732 KB

Inductive definitions over a predicative

✍ Stanley S. Wainer; Richard S. Williams 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 200 KB