We give some results concerning various generalized continuum cardinals. The results answer some natural questions which have arisen in preparing a new edition of 5. To make the paper self-contained we define all of the cardinal functions that enter into the theorems here. There are many problems concerning these new functions, and we formulate some of the more important ones.

In this paper we consider whether L(R) has “enough information” to contain a counterexample to the continuum hypothesis. We believe this question provides deep insight into the difficulties surrounding the continuum hypothesis. We show sufficient conditions for L(R) not to contain such a counterexample. Along the way we establish many results about nonstationary towers, non-reflecting stationary sets, generalizations of proper and semiproper forcing and Chang's conjecture.

We prove some consistency results about and δ, which are natural generalisations of the cardinal invariants of the continuum and . We also define invariants cl and δcl, and prove that almost always = cl and = cl.

This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis. It was Gödel who first suggested that perhaps “strong axioms of infinity” could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH—one can show that virtually all large cardinals defined so far do not affect the status of CH. It seems to be an inherent feature of large cardinals that they (...) do not determine properties of sets low in the cumulative hierarchy if such properties can be forced to hold or fail by small forcings.The paper can also be used as an introductory text on large cardinals as it defines all relevant concepts. (shrink)

We explore the connection between combinatorial principles on uncountable cardinals, like stick and club, on the one hand, and the combinatorics of sets of reals and, in particular, cardinal invariants of the continuum, on the other hand. For example, we prove that additivity of measure implies that Martin’s axiom holds for any Cohen algebra. We construct a model in which club holds, yet the covering number of the null ideal is large. We show that for uncountable cardinals (...) κ≤λ and , if all subsets of λ either contain, or are disjoint from, a member of , then has size at least etc. As an application, we solve the Gross space problem under by showing that there is such a space over any countable field. In two appendices, we solve problems of Fuchino, Shelah and Soukup, and of Kraszewski, respectively. (shrink)

We extend the work of Fischer et al. [6] by presenting a method for controlling cardinal characteristics in the presence of a projective wellorder and 2ℵ0>ℵ2. This also answers a question of Harrington [9] by showing that the existence of a Δ31 wellorder of the reals is consistent with Martinʼs axiom and 2ℵ0=ℵ3.

We study cardinal invariants of systems of meager hereditary families of subsets of ω connected with the collapse of the continuum by Sacks forcing S and we obtain a cardinal invariant yω such that S collapses the continuum to yω and y ≤ yω ≤ b. Applying the Baumgartner-Dordal theorem on preservation of eventually narrow sequences we obtain the consistency of y = yω < b. We define two relations $\leq _{0}^{\ast}$ and $\leq _{1}^{\ast}$ on the set $(^{\omega}\omega)_{{\rm (...) Fin}}$ of finite-to-one functions which are Tukey equivalent to the eventual dominance relation of functions such that if $\germ{F}\subseteq (^{\omega}\omega)_{Fin}$ is $\leq _{1}^{\ast}$ -unbounded, well-ordered by $\leq _{1}^{\ast}$ , and not $\leq _{0}^{\ast}$ -dominating, then there is a nonmeager p-ideal. The existence of such a system F follows from Martin's axiom. This is an analogue of the results of [3], [9, 10] for increasing functions. (shrink)

Gitik, M., On measurable cardinals violating the continuum hypothesis, Annals of Pure and Applied Logic 63 227-240. It is shown that an extender used uncountably many times in an iteration is reconstructible. This together with the Weak Covering Lemma is used to show that the assumption o=κ+α is necessary for a measurable κ with 2κ=κ+α.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. Motivated by results of Bagaria, Magidor and Väänänen, we study characterizations of large cardinal properties through reflection principles for classes of structures. More specifically, we aim to characterize notions from the lower end of the large cardinal hierarchy through the principle [math] introduced by Bagaria and Väänänen. Our results isolate a narrow interval in the large cardinal hierarchy that is bounded from below by total indescribability and from above by subtleness, (...) and contains all large cardinals that can be characterized through the validity of the principle [math] for all classes of structures defined by formulas in a fixed level of the Lévy hierarchy. Moreover, it turns out that no property that can be characterized through this principle can provably imply strong inaccessibility. The proofs of these results rely heavily on the notion of shrewd cardinals, introduced by Rathjen in a proof-theoretic context, and embedding characterizations of these cardinals that resembles Magidor’s classical characterization of supercompactness. In addition, we show that several important weak large cardinal properties, like weak inaccessibility, weak Mahloness or weak [math]-indescribability, can be canonically characterized through localized versions of the principle [math]. Finally, the techniques developed in the proofs of these characterizations also allow us to show that Hamkin’s weakly compact embedding property is equivalent to Lévy’s notion of weak [math]-indescribability. (shrink)

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of (...) $\mathrm {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

Let P be any one of the following combinatorial properties: weak P-pointness, weak (semi-) Q-pointness, weak (semi-)selectivity, ω-closedness. We deal with the following two questions: (1) What is the least cardinal κ such that there exists an ideal with κ many generators that does not have the property P? (2) Can one extend every ideal with the property P to a prime ideal with the property P?

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly (...) pick out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

We study cardinal invariants connected to certain classical orderings on the family of ideals on ω. We give topological and analytic characterizations of these invariants using the idealized version of Fréchet-Urysohn property and, in a special case, using sequential properties of the space of finitely-supported probability measures with the weak* topology. We investigate consistency of some inequalities between these invariants and classical ones, and other related combinatorial questions. At last, we discuss maximality properties of almost disjoint families related to certain (...) ordering on ideals. (shrink)

We construct models for the level-by-level equivalence between strong compactness and supercompactness containing failures of the Generalized Continuum Hypothesis at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal $\delta $, $2^{\delta }\gt \delta ^{++}$. In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inaccessible cardinals at which GCH holds are also measurable. These results extend and generalize (...) earlier work of the author. (shrink)

There is an optimal way of increasing certain cardinal invariants of the continuum.

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new [Formula: see text]-sequences (for some regular [Formula: see text]). As an application, we show that consistently the following cardinal characteristics can be different: The (“independent”) characteristics in Cichoń’s diagram, plus [Formula: see text]. (So we get thirteen different values, including [Formula: see text] and continuum). We also give constructions to alternatively separate other MA-numbers (instead of [Formula: see text]), namely: MA for [Formula: (...) see text]-Knaster from MA for [Formula: see text]-Knaster; and MA for the union of all [Formula: see text]-Knaster forcings from MA for precaliber. (shrink)

For \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f,g\in\omega^\omega}$$\end{document} let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\forall_{f,g}}$$\end{document} be the minimal number of uniform g-splitting trees needed to cover the uniform f-splitting tree, i.e., for every branch ν of the f-tree, one of the g-trees contains ν. Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\exists_{f,g}}$$\end{document} be the dual notion: For every branch ν, one of the g-trees guesses ν(m) infinitely often. We show that (...) it is consistent that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c^\exists_{f_\epsilon,g_\epsilon}{=}c^\forall_{f_\epsilon,g_\epsilon}{=}\kappa_\e psilon}$$\end{document} for continuum many pairwise different cardinals \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa_\epsilon}$$\end{document} and suitable pairs \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(f_\epsilon,g_\epsilon)}$$\end{document}. For the proof we introduce a new mixed-limit creature forcing construction. (shrink)

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new <κ-sequences. As an application, we show that consistently the followi...

We show that form, n≧1 the existence of a∏ n m indescribable cardinal is equiconsistent with the failure of the combinatorial principle at a∏ n m indescribable cardinal κ together with the Generalized Continuum Hypothesis.

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer (...) in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

We give a characterization of extendibility in terms of embeddings between the structures H λ . By that means, we show that the GCH can be forced (by a class forcing) while preserving extendible cardinals. As a corollary, we argue that such cardinals cannot in general be made indestructible by (set) forcing, under a wide variety of forcing notions.

We investigate the extension of monadic second-order logic of order with cardinality quantifiers "there exists uncountably many sets such that... " and "there exists continuum many sets such that... ". We prove that over the class of countable linear orders the two quantifiers are equivalent and can be effectively and uniformly eliminated. Weaker or partial elimination results are obtained for certain wider classes of chains. In particular, we show that over the class of ordinals the uncountability quantifier can be (...) effectively and uniformly eliminated. Our argument makes use of Shelah's composition method and Ramsey-like theorem for dense linear orders. (shrink)

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum 2ℵ0; earlier work by Ilijas Farah had shown that this was the value in models of Martin’s Maximum or some similar forcing axiom, but it was open whether there could be fewer in (...) models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

§1. Introduction. Among the most remarkable discoveries in set theory in the last quarter century is the rich structure of the arithmetic of singular cardinals, and its deep relationship to large cardinals. The problem of finding a complete set of rules describing the behavior of the continuum function 2ℵα for singular ℵα's, known as the Singular Cardinals Problem, has been attacked by many different techniques, involving forcing, large cardinals, inner models, and various combinatorial methods. The (...) work on the singular cardinals problem has led to many often surprising results, culminating in a beautiful theory of Saharon Shelah called the pcf theory. The most striking result to date states that if 2ℵn < ℵω for every n = 0, 1, 2, …, then 2ℵω < ℵω4.In this paper we present a brief history of the singular cardinals problem, the present knowledge, and an introduction into Shelah's pcf theory. In Sections 2, 3 and 4 we introduce the reader to cardinal arithmetic and to the singular cardinals problems. Sections 5, 6, 7 and 8 describe the main results and methods of the last 25 years and explain the role of large cardinals in the singular cardinals problem. In Section 9 we present an outline of the pcf theory.§2. The arithmetic of cardinal numbers. Cardinal numbers were introduced by Cantor in the late 19th century and problems arising from investigations of rules of arithmetic of cardinal numbers led to the birth of set theory. The operations of addition, multiplication and exponentiation of infinite cardinal numbers are a natural generalization of such operations on integers. Addition and multiplication of infinite cardinals turns out to be simple: when at least one of the numbers κ, λ is infinite then both κ + λ and κ·λ are equal to max {κ, λ}. In contrast with + and ·, exponentiation presents fundamental problems. In the simplest nontrivial case, 2κ represents the cardinal number of the power set P, the set of all subsets of κ. (Here we adopt the usual convention of set theory that the number κ is identified with a set of cardinality κ, namely the set of all ordinal numbers smaller than κ. (shrink)

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer (...) in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

CH is approached as a problem about the cardinality of the second number class Γ. For the purpose, the theory of constituents is extended to the countably infinite case where the nodes of a constituent tree are sequences of finite constituents. Certain branches (‘perfect’ ones) specify the structures of which a model of a countably infinite constituent consists. In the case of Γ, these branches keep on splitting indefinitely and hence have the cardinality of the continuum. Since Γ is (...) maximal, they are all satisfied in it. (shrink)

Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we introduce a family of properties of countable Borel equivalence relations which correspond to combinatorial cardinal characteristics of the continuum in the same way that Borel boundedness corresponds to the bounding number. We analyze some of the basic behavior of these properties, showing, e.g., that the property corresponding (...) to the splitting number coincides with smoothness. We then settle many of the implication relationships between the properties; these relationships turn out to be closely related to (but not the same as) the Borel Tukey ordering on cardinal characteristics. (shrink)

We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega ^\omega \to \omega ^\omega $ introduced by the second author in [8]. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg \mathsf {CH}$ such as the Cohen, random and Sacks models and, as a byproduct (...) show that, with one exception, for the bounding numbers there are no $\mathsf {ZFC}$ relations between them beyond those in the higher dimensional Cichoń diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak {d}^\lambda _\kappa $. (shrink)

We present recent results on the model companions of set theory, placing them in the context of a current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{\kappa ^+}$, as $\kappa (...) $ ranges among the infinite cardinals. We also single out $2^{\aleph _0}=\aleph _2$ as the unique solution of the continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). While doing so we bring to light that set theory enriched by large cardinal axioms in the range of supercompactness has as its model companion (with respect to its first order axiomatization in certain natural signatures) the theory of $H_{\aleph _2}$ as given by a strong form of Woodin’s axiom $(*)$ (which holds assuming $\mathsf {MM}^{++}$ ). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert’s axiom of completeness. (shrink)

There has recently been work by multiple groups in extracting the properties associated with cardinal invariants of the continuum and translating these properties into similar analogous combinatorial properties of computational oracles. Each property yields a highness notion in the Turing degrees. In this paper we study the highness notions that result from the translation of the evasion number and its dual, the prediction number, as well as two versions of the rearrangement number. When translated appropriately, these yield four new (...) highness notions. We will define these new notions, show some of their basic properties and place them in the computability-theoretic version of Cichoń's diagram. (shrink)

Given a cardinal κ that is λ-supercompact for some regular cardinal λ⩾κ and assuming GCH, we show that one can force the continuum function to agree with any function F:[κ,λ]∩REG→CARD satisfying ∀α,β∈domα F. Our argument extends Woodinʼs technique of surgically modifying a generic filter to a new case: Woodinʼs key lemma applies when modifications are done on the range of j, whereas our argument uses a new key lemma to handle modifications done off of the range of j on (...) the ghost coordinates. This work answers a question of Friedman and Honzik [5]. We also discuss several related open questions. (shrink)

We present a survey of some results and problems concerning constructions which require a diagonalization of length continuum to be carried out, particularly constructions of almost disjoint families of various sorts. We emphasize the role of cardinal invariants of the continuum and their combinatorial characterizations in such constructions.