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

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science