𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the set of ‘Meaningful’ sentences of arithmetic

✍ Scribed by Aldo Ursini

Book ID
105470549
Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
200 KB
Volume
37
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fragments of Arithmetic and true sentenc
Fragments of Arithmetic and true sentences
✍ Andrés Cordón-Franco; Alejandro Fernández-Margarit; F. Félix Lara-Martín 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB

Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only (up to deductive equivalence) consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of b