𝔖 Bobbio Scriptorium
✦   LIBER   ✦

DEFLATIONISM, CONSERVATIVENESS AND MAXIMALITY

✍ Scribed by Cezary Cieśliński

Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
255 KB
Volume
36
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Envelopes, indicators and conservativene
Envelopes, indicators and conservativeness
✍ Andrés Cordón-Franco; Alejandro Fernández-Margarit; F. Félix Lara-Martín 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 275 KB

A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn+1 (the fragment of Arithmetic given by the collection scheme restricted to Σn+1-formulas) is a Πn+2-conservative extension of IΣn (the fragment given by the induction scheme restricted to Σn-formulas). In this pa