✦ LIBER ✦

Herbrand consistency of some arithmetical theories

✍ Scribed by Salehi, Saeed

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Herbrand consistency of some finite frag

✍ Salehi, Saeed 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 293 KB

On Herbrand consistency in weak arithmet

✍ Zofia Adamowicz; Paweł Zbierski 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 118 KB

The ω-Consistency of Number Theory Via H

✍ W. D. Goldfarb and T. M. Scanlon 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 597 KB

Proving Consistency of Equational Theori

✍ Arnold Beckmann 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 387 KB

Some Strongly Undecidable Natural Arithm

✍ Panu Raatikainen 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 198 KB

Some results in the theory of arithmetic

✍ R.T. Chien; S.J. Hong; F.P. Preparata 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 734 KB