✦ LIBER ✦

Non-deterministic inductive definitions

✍ Scribed by Berg, Benno

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Non-Monotone Formula Inductive Defini

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

Topological inductive definitions

✍ Giovanni Curi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 281 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

Structuring Metatheory on Inductive Defi

✍ David Basin; Seán Matthews 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Invisible Ordinals and Inductive Definit

✍ Evangelos Kranakis 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 613 KB