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κ=κ+α.

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals κ with the property that the collection of all initial segments of the wellordering is definable by a Σ1‐formula with parameter κ. A short argument shows that the existence of a measurable cardinal δ implies that such wellorderings do not exist at δ‐inaccessible cardinals of cofinality not equal to δ and their successors. In contrast, our (...) main result shows that these wellorderings exist at all other uncountable cardinals in the minimal model containing a measurable cardinal. In addition, we show that measurability is the smallest large cardinal property that imposes restrictions on the existence of such wellorderings at uncountable cardinals. Finally, we generalise the above result to the minimal model containing two measurable cardinals. (shrink)

In this paper we prove, under the assumption of a strong partition property for an uncountable cardinal κ, the existence of more than κ-many measurable cardinals greater than κ. Our proof involves so-called seminormal measures, and, along the way, we establish several key facts about such measures.

We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.

If κ < λ are such that κ is indestructibly supercompact and λ is measurable, then we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the (...) maximal number of normal measures} are unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry fewer than the maximal number of normal measures. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry the maximal number of normal measures. If we weaken the requirements on indestructibility, then this last result can be improved to obtain a model with an indestructibly supercompact cardinal κ in which every measurable cardinal δ < κ carries the maximal number of normal measures. (shrink)

In this article, we introduce the notion of weakly measurable cardinal, a new large cardinal concept obtained by weakening the familiar concept of a measurable cardinal. Specifically, a cardinal κ is weakly measurable if for any collection equation image containing at most κ+ many subsets of κ, there exists a nonprincipal κ-complete filter on κ measuring all sets in equation image. Every measurable cardinal is weakly measurable, but a weakly measurable cardinal need not be (...) measurable. Moreover, while the GCH cannot fail first at a measurable cardinal, I will show that it can fail first at a weakly measurable cardinal. More generally, if κ is measurable, then we can make its weak measurability indestructible by the forcing Add for any η while forcing the GCH to hold below κ. Nevertheless, I shall prove that weakly measurable cardinals and measurable cardinals are equiconsistent. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

We show that in the [Formula: see text] extension of a certain Chang-type model of determinacy, if [Formula: see text], then the restriction of the club filter on [Formula: see text] Cof[Formula: see text] to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On [Formula: see text]-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].

Journal of Mathematical Logic, Ahead of Print. We show that in the [math] extension of a certain Chang-type model of determinacy, if [math], then the restriction of the club filter on [math] Cof[math] to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On [math]-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].

Say that κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}’s measurability is destructible if there exists a κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. It then follows that A1={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below (...) λδ} is unbounded in κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. On the other hand, under the same hypotheses, A2={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ′s measurability is indestructible when forcing with either Add or Add} is unbounded in κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document} as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document} or A2=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \emptyset}$$\end{document}. In each of these models, both of which have restricted large cardinal structures above κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, every measurable cardinal δ which is not a limit of measurable cardinals is δ+ strongly compact, and there is an indestructibly supercompact cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. In the model in which A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document}, every measurable cardinal δ which is not a limit of measurable cardinals is <λδ strongly compact and has its <λδ strong compactness indestructible when forcing with δ-directed closed partial orderings having rank below λδ. The choice of the least beth fixed point above δ is arbitrary, and other values of λδ are also possible. (shrink)

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma _{1}$ -definability at uncountable regular cardinals. In particular we give its exact consistency strength first in terms of the second uniform indiscernible for bounded subsets of $\kappa $ : $u_2$, and secondly to give the consistency strength of a property of Lücke’s.TheoremThe following are equiconsistent:There exists $\kappa $ which is stably measurable;for some cardinal $\kappa $, $u_2=\sigma $ ;The $\boldsymbol {\Sigma }_{1}$ -club (...) property holds at a cardinal $\kappa $.Here $\sigma $ is the height of the smallest $M \prec _{\Sigma _{1}} H $ containing $\kappa +1$ and all of $H $. Let $\Phi $ be the assertion: TheoremAssume $\kappa $ is stably measurable. Then $\Phi $.And a form of converse:TheoremSuppose there is no sharp for an inner model with a strong cardinal. Then in the core model K we have: $\mbox {``}\exists \kappa \Phi \mbox {''}$ is -generically absolute ${\,\longleftrightarrow \,}$ There are arbitrarily large stably measurable cardinals.When $u_2 < \sigma $ we give some results on inner model reflection. (shrink)

We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.

Let κ be an infinite cardinal. A κ-complete nonprincipal ultrafilter, or, for short, a κ- ultrafilter on a set A is a (nonempty) family U of subsets of A satisfying (i) S ⊆ U & |S|1 < κ ⇒ ∩S ∈ U (κ-completeness) (ii) X ∈ U & X ⊆ Y ⊆ A ⇒ Y ∈ U, (iii) ∀X ⊆ A [X ∈ U or A – X ∈ U] (iv) {a} ∉ U for any a..

We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o = δ*” for δ* ≤ κ+ any finite or infinite cardinal, we force and construct an inner model N ⊆ (...) V [G] so thatN ⊨ “ZF + [DCδ] + ¬ACκ + κ carries exactly δ* normal measures + 2δ = δ++ on a set having measure 1 with respect to every normal measure over κ”.There is nothing special about 2δ = δ here, and other stated values for the continuum function will be possible as well. Then, starting with a modelV ⊨ “ZFC + GCH + κis supercompact”,we force and construct models of AC in which, roughly speaking, regardless of the specified behavior of the continuum function below κ on any set having measure 1 with respect to every normal measure over κ, κ can in essence carry any number of normal measures δ* ≥ κ++. (shrink)

Some non-normal κ-complete ultrafilters over a measurable κ with special properties are constructed. Questions by A. Kanamori [4] about infinite Rudin-Frolik sequences, discreteness and products are answered.

A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. Full Reflection states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than κ having the Mitchell order κ++ it is consistent (...) that Full Reflection holds at every λ ≤ κ and κ is measurable. (shrink)

We construct a model satisfying “κ is quasi measurable”. Here, we call κ quasi measurable if there is an ℵ1‐saturated κ‐additive ideal on κ. We also show that, in this model, forcing with adds one but not κ Cohen reals. We introduce a weak club principle and use it to show that, consistently, for some ℵ1‐saturated κ‐additive ideal on κ, forcing with adds one but not κ random reals.

We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin’s property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly strengthened forms, and present models with varying structures of the cofinal types of ultrafilters over measurable cardinals.

We prove two theorems concerning indestructibility properties of the first two strongly compact cardinals when these cardinals are in addition the first two measurable cardinals. Starting from two supercompact cardinals $\kappa _1 < \kappa _2$, we force and construct a model in which $\kappa _1$ and $\kappa _2$ are both the first two strongly compact and first two measurable cardinals, $\kappa _1$ ’s strong compactness is fully indestructible, and $\kappa _2$ ’s strong compactness (...) is indestructible under $\mathrm {Add}$ for any ordinal $\delta $. This provides an answer to a strengthened version of a question of Sargsyan found in [17, Question 5]. We also investigate indestructibility properties that may occur when the first two strongly compact cardinals are not only the first two measurable cardinals, but also exhibit nontrivial degrees of supercompactness. (shrink)

Assume \ is a singular limit of \ supercompact cardinals, where \ is a limit ordinal. We present two methods for arranging the tree property to hold at \ while making \ the successor of the limit of the first \ measurable cardinals. The first method is then used to get, from the same assumptions, the tree property at \ with the failure of SCH at \. This extends results of Neeman and Sinapova. The second method is (...) also used to get the tree property at the successor of an arbitrary singular cardinal, which extends some results of Magidor–Shelah, Neeman and Sinapova. (shrink)

Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the (...) normality of the associated measures. (shrink)

Journal of Mathematical Logic, Ahead of Print.

There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann’s work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be (...) considered from a philosophical point of view. (shrink)

Cardinality arguments against regular probability measures aim to show that no matter which ordered field ℍ we select as the measures for probability, we can find some event space F of sufficiently large cardinality such that there can be no regular probability measure from F into ℍ. In particular, taking ℍ to be hyperreal numbers won't help to guarantee that probability measures can always be regular. I argue that such cardinality arguments fail, since they rely on the wrong conception of (...) the role of numbers as measures of probability. With the proper conception of their role we can see that for any event space F, of any cardinality, there are regular hyperreal-valued probability measures. (shrink)

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}-supercompact, for any desired θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}. In addition, we prove several global results showing how the entire class of weakly compactcardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly (...) class='Hi'>measurable cardinals or with the class of nearly θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta_\kappa}$$\end{document}-supercompact cardinals κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, for nearly any desired function κ↦θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa\mapsto\theta_\kappa}$$\end{document}. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals. (shrink)

According to what I call the Traditional View, there is a fundamental semantic distinction between counting and measuring, which is reflected in two fundamentally different sorts of scales: discrete cardinality scales and dense measurement scales. Opposed to the Traditional View is a thesis known as the Universal Density of Measurement: there is no fundamental semantic distinction between counting and measuring, and all natural language scales are dense. This paper considers a new argument for the latter, based on a puzzle I (...) call the Fractional Cardinalities Puzzle: if answers to ‘how many’-questions always designate cardinalities, and if cardinalities are necessarily discrete, then how can e.g. ‘2.38’ be a correct answer to the question ‘How many ounces of water are in the beaker?’? If cardinality scales are dense, then the answer is obvious: ‘2.38’ designates a fractional cardinality, contra the Traditional View. However, I provide novel evidence showing that ‘many’ is not uniformly associated with the dimension of cardinality across contexts, and so ‘how many’-questions can ask about other kinds of measures, including e.g. volume. By combining independently motivated analyses of cardinal adjectives, measure phrases, complex fractions, and degrees, I develop a semantics intended to defend the Traditional View against purported counterexamples like this and others which have received a fair amount of recent philosophical attention. (shrink)

A cardinal κ is tall if for every ordinal θ there is an embedding j: V → M with critical point κ such that j > θ and Mκ ⊆ M. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a strong cardinal. (...) Any tall cardinal κ can be made indestructible by a variety of forcing notions, including forcing that pumps up the value of 2κ as high as desired. (shrink)

This paper deals with two different problems in which infinity plays a central role. I first respond to a claim that infinity renders counting knowledge-level beliefs an infeasible approach to measuring and comparing how much we know. There are two methods of comparing sizes of infinite sets, using the one-to-one correspondence principle or the subset principle, and I argue that we should use the subset principle for measuring knowledge. I then turn to the normalizability and coarse tuning objections to fine-tuning (...) arguments for the existence of God or a multiverse. These objections center on the difficulty of talking about the epistemic probability of a physical constant falling within a finite life-permitting range when the possible range of that constant is infinite. Applying the lessons learned regarding infinity and the measurement of knowledge, I hope to blunt much of the force of these objections to fine-tuning arguments. (shrink)