✦ LIBER ✦

A note on sharply bounded arithmetic

✍ Scribed by Jan Johannsen

Publisher: Springer
Year: 1994
Tongue: English
Weight: 359 KB
Volume: 33
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01352935

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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].

The function(lfloor a/m floor)in sharply

The function(lfloor a/m floor)in sharply bounded arithmetic

✍ Mitsuru Tada; Makoto Tatsuta 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 95 KB

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

A note on the Σ1 collection scheme and f

A note on the Σ1 collection scheme and fragments of bounded arithmetic

✍ Zofia Adamowicz; Leszek Aleksander Kołodziejczyk 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

Bounded arithmetic, collection principle, weak pigeonhole principle. ## MSC (2000) 03F30 We show that for each n ≥ 1, if T n 2 does not prove the weak pigeonhole principle for Σ b n functions, then the collection scheme BΣ1 is not finitely axiomatizable over T n 2 . The same result holds with S n

Sharply Bounded Alternation and Quasilin

Sharply Bounded Alternation and Quasilinear Time

✍ S. A. Bloch; J. F. Buss; J. Goldsmith 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 227 KB

A note on bounded entropies

✍ Pierre-Olivier Amblard; Christophe Vignat 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 134 KB