Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
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 res...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Mathematics and Applied Mathematics
2017
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|