𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Independence results for variants of sharply bounded induction

✍ Scribed by Leszek Aleksander Kołodziejczyk

Book ID
113459203
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
272 KB
Volume
162
Category
Article
ISSN
0168-0072

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 strength of sharply bounded inductio
The strength of sharply bounded induction
✍ Emil Jeřábek 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

## Abstract We prove that the sharply bounded arithmetic T^0^~2~ in a language containing the function symbol ⌊__x__ /2^__y__^ ⌋ (often denoted by MSP) is equivalent to PV~1~. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

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