๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Characterizing strong compactness via strongness

โœ Scribed by Arthur W. Apter


Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
176 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


Abstract

We construct a model in which the strongly compact cardinals can be nonโ€trivially characterized via the statement โ€œฮบ is strongly compact iff ฮบ is a measurable limit of strong cardinalsโ€. If our ground model contains large enough cardinals, there will be supercompact cardinals in the universe containing this characterization of the strongly compact cardinals.


๐Ÿ“œ SIMILAR VOLUMES


Strong characterizing sequences for subg
โœ Andrรกs Birรณ ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 250 KB

In [A. Birรณ, V.T. Sรณs, Strong characterizing sequences in simultaneous Diophantine approximation, J. Number Theory 99 (2003) 405-414] we proved that if ฮ“ is a subgroup of the torus R/Z generated by finitely many independent irrationals, then there is an infinite subset A โІ Z which characterizes ฮ“ in

Identity crises and strong compactness
โœ Arthur W. Apter; James Cummings ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer ๐ŸŒ English โš– 137 KB
Universal partial indestructibility and
โœ Arthur W. Apter ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 153 KB

## Abstract For any ordinal __ฮด__, let __ฮป~ฮด~__ be the least inaccessible cardinal above __ฮด__. We force and construct a model in which the least supercompact cardinal __ฮบ__ is indestructible under __ฮบ__โ€directed closed forcing and in which every measurable cardinal __ฮด__ < __ฮบ__ is < __ฮป~ฮด~__ stro

On some very strong compactness conditio
โœ Maximilian Ganster; Saeid Jafari; Markus Steiner ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Akadmiai Kiad ๐ŸŒ English โš– 398 KB