𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lifting independence results in bounded arithmetic

✍ Scribed by Mario Chiari; Jan Krajíček

Book ID
105842562
Publisher
Springer
Year
1999
Tongue
English
Weight
121 KB
Volume
38
Category
Article
ISSN
0933-5846

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

Independence results for weak systems of
Independence results for weak systems of intuitionistic arithmetic
✍ Morteza Moniri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## Abstract This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds