2 search results - page 1 / 1 » Equiconsistencies at subcompact cardinals |
JSYML
2008
13 years 10 months ago
2008
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
JSYML
2010
13 years 9 months ago
2010
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woo...