✦ LIBER ✦

Inductive definitions over a predicative arithmetic

✍ Scribed by Stanley S. Wainer; Richard S. Williams

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductive definitions over finite struct

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

Δ11-Good Inductive Definitions Over The

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

A Note on Finiteness in the Predicative

✍ Fernando Ferreira 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 70 KB

Arithmetical complexity of fuzzy predica

✍ P. Hájek 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 158 KB

On Wright's inductive definition of cohe

✍ Jeffrey Ketland 📂 Article 📅 2003 🏛 Oxford University Press 🌐 English ⚖ 94 KB

Arithmetical complexity of fuzzy predica

✍ Petr Hájek 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 505 KB