Sciweavers

6 search results - page 1 / 2
» The proper forcing axiom and the singular cardinal hypothesi...
Sort
View
JSYML
2006
97views more  JSYML 2006»
13 years 4 months ago
The proper forcing axiom and the singular cardinal hypothesis
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
Matteo Viale
APAL
2006
60views more  APAL 2006»
13 years 4 months ago
The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis
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 ...
Justin Tatch Moore
JSYML
2010
89views more  JSYML 2010»
12 years 11 months ago
The consistency strength of choiceless failures of SCH
We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom o...
Arthur W. Apter, Peter Koepke
JSYML
2007
73views more  JSYML 2007»
13 years 4 months ago
The ground axiom
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...
Jonas Reitz