6 search results - page 1 / 2 » Forcing Axioms, Supercompact Cardinals, Singular Cardinal Co... |
BSL
2008
13 years 7 months ago
2008
JSYML
2006
13 years 7 months ago
2006
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
JSYML
2008
13 years 7 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...
APAL
2006
13 years 7 months ago
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...
JSYML
2007
13 years 7 months ago
2007
Abstract. A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expr...