✦ LIBER ✦

On the Intuitionistic Strength of Monotone Inductive Definitions

✍ Scribed by Sergei Tupailo

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

Monotone Inductive Definitions over the

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

Ordinal analysis of non-monotone -defina

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

On the definition of the intuitionistic

✍ Xue-hai Yuan; Hong-xing Li; E. Stanley Lee 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Monotonic flexure and fatigue strength o

✍ Susanne S Scherrer; Anselm H.W Wiskott; Viviana Coto-Hunziker; Urs C Belser 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Wellfoundedness proofs by means of non-m

✍ Toshiyasu Arai 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 583 KB