4 search results - page 1 / 1 » Hierarchies of forcing axioms II |
JSYML
2008
13 years 4 months ago
2008
JSYML
2007
13 years 4 months ago
2007
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the L´evy collapse. These show in particul...
JSYML
2008
13 years 4 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...
TOOLS
2009
IEEE
13 years 11 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...