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
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
## 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