𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Generalized quantifier and a bounded arithmetic theory for LOGCFL

✍ Scribed by Satoru Kuroda

Book ID
118296760
Publisher
Springer
Year
2007
Tongue
English
Weight
614 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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 Remark on Independence Results for Sha
A Remark on Independence Results for Sharply Bounded Arithmetic
✍ Jan Johannsen πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 193 KB

The purpose of this note is to show that the independence results for sharply bounded arithmetic of Takeuti [4] and Tada and Tatsuta [3] can be obtained and, in case of the latter, improved by the model-theoretic method developed by the author in [2].