✦ LIBER ✦

Proving Consistency of Equational Theories in Bounded Arithmetic

✍ Scribed by Arnold Beckmann

Book ID: 124978671
Publisher: Association for Symbolic Logic
Year: 2002
Tongue: English
Weight: 387 KB
Volume: 67
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2695010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Herbrand consistency of some finite frag

Herbrand consistency of some finite fragments of bounded arithmetical theories

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

Preservation theorems and restricted con

Preservation theorems and restricted consistency statements in bounded arithmetic

✍ Arnold Beckmann 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Structure and definability in general bo

Structure and definability in general bounded arithmetic theories

✍ Chris Pollett 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 399 KB

The bounded arithmetic theories R i 2 ; S i 2 , and T i 2 are closely connected with complexity theory. This paper is motivated by the questions: what are the b i+1 -deÿnable multifunctions of R i 2 ? and when is one theory conservative over another? To answer these questions we consider theories Ri

Separations of first and second order th

Separations of first and second order theories in bounded arithmetic

✍ Masahiro Yasumoto 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 128 KB

Herbrand consistency of some arithmetica

Herbrand consistency of some arithmetical theories

✍ Salehi, Saeed 📂 Article 📅 2012 🏛 Association for Symbolic Logic 🌐 English ⚖ 261 KB

On Interpretations of Bounded Arithmetic

On Interpretations of Bounded Arithmetic and Bounded Set Theory

✍ Pettigrew, Richard 📂 Article 📅 2009 🏛 University of Notre Dame 🌐 English ⚖ 214 KB