4 search results - page 1 / 1 » Hierarchies of forcing axioms II |
JSYML
2008
13 years 10 months ago
2008
JSYML
2007
13 years 10 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 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...
TOOLS
2009
IEEE
14 years 5 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...