𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some Independence Results for Peano Arithmetic

✍ Scribed by J. B. Paris

Book ID
124963717
Publisher
Association for Symbolic Logic
Year
1978
Tongue
English
Weight
187 KB
Volume
43
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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