✦ LIBER ✦

Independence of the induction principle ad the axiom of choice in the pure calculus of constructions

✍ Scribed by Thomas Streicher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Induction Axiom and the Axiom of Cho

✍ B. Germansky 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 326 KB 👁 1 views

The independence of axioms in the propos

✍ Hughes, G.E. 📂 Article 📅 1957 🏛 Taylor and Francis Group 🌐 English ⚖ 406 KB

The shrinking principle and the axiom of

✍ Bernhard Banaschewski; Peter Schuster 📂 Article 📅 2007 🏛 Springer Vienna 🌐 English ⚖ 87 KB

Independence Results for Class Forms of

✍ Paul E. Howard, Arthur L. Rubin and Jean E. Rubin 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 303 KB

Independent Axiom Schemata for the Pure

✍ Alan Ross Anderson; Nuel D. Belnap Jr.; John R. Wallace 📂 Article 📅 1960 🏛 John Wiley and Sons 🌐 English ⚖ 105 KB

On the Formalization of the Modal μ-Calc

✍ Marino Miculan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB