✦ LIBER ✦

On Interpretations of Bounded Arithmetic and Bounded Set Theory

✍ Scribed by Pettigrew, Richard

Book ID: 124069789
Publisher: University of Notre Dame
Year: 2009
Tongue: English
Weight: 214 KB
Volume: 50
Category: Article
ISSN: 0029-4527
DOI: 10.1215/00294527-2009-003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Interpretations of Arithmetic and Set

On Interpretations of Arithmetic and Set Theory

✍ Kaye, Richard; Wong, Tin Lok 📂 Article 📅 2007 🏛 University of Notre Dame 🌐 English ⚖ 203 KB

Generalized quantifier and a bounded ari

Generalized quantifier and a bounded arithmetic theory for LOGCFL

✍ Satoru Kuroda 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 614 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

A Note on Conservativity Relations among

A Note on Conservativity Relations among Bounded Arithmetic Theories

✍ Russell Impagliazzo; Jan Krajíček 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 98 KB

On the Circumradius of a Bounded Set

✍ Verblunsky, S. 📂 Article 📅 1952 🏛 Oxford University Press 🌐 English ⚖ 97 KB

Proving Consistency of Equational Theori

Proving Consistency of Equational Theories in Bounded Arithmetic

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