63 search results - page 2 / 13 » The Bounded Axiom A Forcing Axiom |
83
Voted
JSYML
2006
14 years 10 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].
BSL
2008
14 years 10 months ago
2008
62
Voted
JSYML
2008
14 years 10 months ago
2008
MLQ
2006
14 years 10 months ago
2006
88
Voted
AML
2006
14 years 10 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...