𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reducing the consistency strength of an indestructibility theorem

✍ Scribed by Arthur W. Apter

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
91 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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)

πŸ“œ SIMILAR VOLUMES

A theorem on the consistency of circumsc
A theorem on the consistency of circumscription
✍ Peter L. Mott πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 536 KB

This paper giw's more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applicat