✦ LIBER ✦

Accessible Independence Results for Peano Arithmetic

✍ Scribed by Kirby, L.; Paris, J.

Book ID: 120093486
Publisher: Oxford University Press
Year: 1982
Tongue: English
Weight: 159 KB
Volume: 14
Category: Article
ISSN: 0024-6093
DOI: 10.1112/blms/14.4.285

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Independence Results for Peano Arit

Some Independence Results for Peano Arithmetic

✍ J. B. Paris 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 187 KB

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

Lifting independence results in bounded

Lifting independence results in bounded arithmetic

✍ Mario Chiari; Jan Krajíček 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 121 KB

Discernible Elements in Models for Peano

Discernible Elements in Models for Peano Arithmetic

✍ Andrzej Ehrenfeucht 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 96 KB

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 Interpretability Logic of Peano Arit

The Interpretability Logic of Peano Arithmetic

✍ Alessandro Berarducci 📂 Article 📅 1990 🏛 Association for Symbolic Logic 🌐 English ⚖ 627 KB