6,019 research outputs found
The power function
The axioms of ZFC provide very little information about the possible values of the power function (i.e. the map K---->2á´·). In this dissertation, we examine various theorems concerning the behaviour of the power function inside the formal system ZFC , and we :;hall be p:trticul:trly interested in results which provide eonstraints on the possible values of the power function. Thus most of the results presented here will be consistency results. A theorem of Easton (Theorem 2.3.1) shows that, when restricted to regular cardinals, the power function may take on any reasonable value, and thus a considerable part of this thesis is concerned with the power function on singular cardinals. We also examine the influence of various strong axioms of infinity, and their generalization to smaller cardinals, on the possible behaviour of the power function
The power function
The axioms of ZFC provide very little information about the possible values of the power function (i.e. the map K---->2á´·). In this dissertation, we examine various theorems concerning the behaviour of the power function inside the formal system ZFC , and we :;hall be p:trticul:trly interested in results which provide eonstraints on the possible values of the power function. Thus most of the results presented here will be consistency results. A theorem of Easton (Theorem 2.3.1) shows that, when restricted to regular cardinals, the power function may take on any reasonable value, and thus a considerable part of this thesis is concerned with the power function on singular cardinals. We also examine the influence of various strong axioms of infinity, and their generalization to smaller cardinals, on the possible behaviour of the power function
The singular world of singular cardinals
The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones
A general tool for consistency results related to I1
In this paper we provide a general tool to prove the consistency of
with various combinatorial properties at typical at
settings with , that does not need a profound knowledge of
the forcing notions involved. Examples of such properties are the first failure
of GCH, a very good scale and the negation of the approachability property, or
the tree property at and
Logical Dreams
We discuss the past and future of set theory, axiom systems and independence
results. We deal in particular with cardinal arithmetic
- …