𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Institution-Independent Proof of the Robinson Consistency Theorem

✍ Scribed by Daniel Gâinâ; Andrei Popescu

Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
365 KB
Volume
85
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new proof-theoretic proof of the indep
A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem
✍ Lorenzo Carlucci 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 370 KB

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ÿgures via an appropriate translation from derivations to hydras.

Reducing the consistency strength of an
Reducing the consistency strength of an indestructibility theorem
✍ Arthur W. Apter 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB

## Abstract Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)