A model in which strongness ofκ is indestructible under κ+ -weakly closed forcing notions satisfying the Prikry condition is constructed. This is applied to solve a question of Hajnal on the number of elements of {λ δ |2 δ <λ}.

Let P be a forcing notion and $G\subseteq P$ its generic subset. Suppose that we have in $V[G]$ a $\kappa{-}$ complete ultrafilter1,2W over $\kappa $. Set $U=W\cap V$.

We show that o = k++ is necessary for ¬SCH. Together with previous results it provides the exact strenght of ¬SCH.

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem. Suppose κ is a singular strong limit cardinal and 2κ λ where λ is not the successor of a cardinal of cofinality at most κ. If cf > ω then it follows that o λ, and if cf = ωthen either o λ or {α: K o α+n} is confinal in κ for (...) each n ε ω.We also prove several results which extend or are related to this result, notably Theorem. If 2ω ω1 then there is a sharp for a model with a strong cardinal.In order to prove these theorems we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders. (shrink)

We show the consistency, relative to a supercompact cardinal, of the least measurable cardinal being both strongly compact and fully Laver indestructible. We also show the consistency, relative to a supercompact cardinal, of the least strongly compact cardinal being somewhat supercompact yet not completely supercompact and having both its strong compactness and degree of supercompactness fully Laver indestructible.

Assuming the existence of a supercompact cardinal, we construct a model of ZFC + ). Answering a question of Uri Abraham [A], [A-S], we prove that adding a real to the world always makes P ℵ 1 - V stationary.

The paper is a continuation of [The SCH revisited]. In § 1 we define a forcing with countably many nice systems. It is used, for example, to construct a model "GCH below κ, c f κ = ℵ0, and $2^\kappa > \kappa^{+\omega}$" from 0(κ) = κ+ω. In § 2 we define a triangle iteration and use it to construct a model satisfying "{μ ≤ λ∣ c f μ = ℵ0 and $pp(\mu) > \lambda\}$ is countable for some λ". The question (...) of whether this is possible was asked by S. Shelah. In § 3 a forcing for blowing the power of a singular cardinal without collapsing cardinals or adding new bounded subsets is presented. Answering a question of H. Woodin, we show that it is consistent to have "c f κ = ℵ0, GCH below $\kappa, 2^\kappa > \kappa^+$, and ¬□* κ". In § 4 a variation of the forcing of [The SCH revisited, § 1] is defined. It behaves nicely in iteration processes. As an application, we sketch a construction of a model satisfying: "κ is a measurable and 2κ ≥ κ+α for some $\alpha, \kappa < c f \alpha < \alpha$" starting with 0(κ) = κ+α. This answers the question from Gitik's On measurable cardinals violating the continuum hypothesis. (shrink)

We continue [4] and study sets in generic extensions by the Magidor forcing and by the Prikry forcing with non-normal ultrafilters.

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

The paper is concerned with methods for blowing power of singular cardinals using short extenders. Thus, for example, starting with κ of cofinality ω with {α<κ oα+n} cofinal in κ for every n<ω we construct a cardinal preserving extension having the same bounded subsets of κ and satisfying 2κ=κ+δ+1 for any δ<1.

A new method for blowing up the power of a singular cardinal is presented. It allows to blow up the power of a singular in the core model cardinal of uncountable cofinality. The method makes use of overlapping extenders.

We use the forcing with overlapping extenders to give a direct construction of a model of \SCH+Reflection.

The purpose of the present paper is to present new methods of blowing up the power of a singular cardinal κ of cofinality ω. New PCF configurations are obtained. The techniques developed here will be used in a subsequent paper to construct a model with a countable set which pcf has cardinality ℵ1.

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 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)

We present a new method of constructing a model of \SCH+\AP.

Extender-based Prikry–Magidor forcing for overlapping extenders is introduced. As an application, models with strong forms of negations of the Shelah Weak Hypothesis for various cofinalities are constructed.

We prove the following theorem: Suppose that there is a singular $\kappa$ with the set of $\alpha$ 's with $o(\alpha)=\alpha^{+n}$ unbounded in it for every $n < \omega$ . Then in a generic extesion there are two precovering sets which disagree about common indiscernibles unboundedly often.

With less than 0# two generic extensions ofL are identified: one in which ${\aleph_1}$ , and the other ${\aleph_2}$ , is almost precipitous. This improves the consistency strength upper bound of almost precipitousness obtained in Gitik M, Magidor M (On partialy wellfounded generic ultrapowers, in Pillars of Computer Science, 2010), and answers some questions raised there. Also, main results of Gitik (On normal precipitous ideals, 2010), are generalized—assumptions on precipitousness are replaced by those on ∞-semi precipitousness. As an application it (...) is shown that if δ is a Woodin cardinal and there is an ${f:\omega_1 \to \omega_1}$ with ${\|f\|=\omega_2}$ , then after ${Col(\aleph_2,\delta)}$ there is a normal precipitous ideal over ${\aleph_1}$ . The existence of a pseudo-precipitous ideal over a successor cardinal is shown to give an inner model with a strong cardinal. (shrink)

We prove that if μ is a regular cardinal and ℙ is a μ-centered forcing poset, then ℙ forces that $(I[\mu ^{ + + } ])^V $ generates I[µ⁺⁺] modulo clubs. Using this result, we construct models in which the approachability property fails at the successor of a singular cardinal. We also construct models in which the properties of being internally club and internally approachable are distinct for sets of size the successor of a singular cardinal.

A method of iteration of Prikry type forcing notions as well as a forcing for adding clubs is presented. It is applied to construct a model with a measurable cardinal containing a club of former regulars, starting with o(κ) = κ + 1. On the other hand, it is shown that the strength of above is at least o(κ) = κ.

We prove equiconsistency results concerning gaps between a singular strong limit cardinal κ of cofinality 0 and its power under assumptions that 2κ=κ+δ+1 for δ<κ and some weak form of the Singular Cardinal Hypothesis below κ. Together with the previous results this basically completes the study of consistency strength of the various gaps between such κ and its power under GCH type assumptions below.

We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.

Answering a question of Pereira we show that it is possible to have a model violating the Singular Cardinal Hypothesis without a tree-like continuous scale.

We address the question of consistency strength of certain filters and ultrafilters which fail to satisfy the Galvin property. We answer questions [Benhamou and Gitik, Ann. Pure Appl. Logic 173 (2022) 103107; Questions 7.8, 7.9], [Benhamou et al., J. Lond. Math. Soc. 108(1) (2023) 190–237; Question 5] and improve theorem [Benhamou et al., J. Lond. Math. Soc. 108(1) (2023) 190–237; Theorem 2.3].

Our aim is to show that it is impossible to find a bound for the power of the first fixed point of the aleph function.

Answering a question of Mitchell (Trans Am Math Soc 329(2):507–530, 1992) we show that a limit of accumulation points can be singular in $${\mathcal {K}}$$ K. Some additional constructions are presented.

We construct a model with an indecisive precipitous ideal and a model with a precipitous ideal with a non precipitous normal ideal below it. Such kind of examples were previously given by M. Foreman [2] and R. Laver [4] respectively. The present examples differ in two ways: first- they use only a measurable cardinal and second- the ideals are over a cardinal. Also a precipitous ideal without a normal ideal below it is constructed. It is shown in addition that if (...) there is a precipitous ideal over a cardinal κ such that • after the forcing with its positive sets the cardinality of κ remains above N₁ • there is no a normal precipitous ideal then there is 0†. (shrink)

It is shown that under GCH every poset preserves its confinality in any cofinality preserving extension. On the other hand, starting with ω measurable cardinals, a model with a partial ordered set which can change its cofinality in a cofinality preserving extension is constructed.

Letκ, λ be regular uncountable cardinals such that λ >κ+is not a successor of a singular cardinal of low cofinality. We construct a generic extension withs = λ starting from a ground model in whicho = λ and prove that assuming ¬0¶,s = λ implies thato ≥ λ in the core model.

We give some general criteria, when κ-complete forcing preserves largeness properties-like κ-presaturation of normal ideals on λ (even when they concentrate on small cofinalities). Then we quite accurately obtain the consistency strength "NS λ is ℵ 1 -preserving". for λ > ℵ 2.

We show that some cardinal arithmetic configurations related to the negation of the Shelah Weak Hypothesis and natural from the forcing point of view are impossible.

We consider a question of T. Jech and K. Prikry that asks if the existence of a precipitous filter implies the existence of a normal precipitous filter. The aim of this paper is to improve a result of Gitik (Israel J Math, 175:191–219, 2010) and to show that measurable cardinals of a higher order rather than just measurable cardinals are necessary in order to have a model with a precipitous filter but without a normal one.

We consider of constructing normal ultrafilters in extensions are here Easton support iterations of Prikry-type forcing notions. New ways presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here.

(1) We show that it is possible to add $\kappa ^+$ -Cohen subsets to $\kappa $ with a Prikry forcing over $\kappa $. This answers a question from [9]. (2) A strengthening of non-Galvin property is introduced. It is shown to be consistent using a single measurable cardinal which improves a previous result by S. Garti, S. Shelah, and the first author [5]. (3) A situation with Extender-based Prikry forcings is examined. This relates to a question of H. Woodin.

We study which [Formula: see text]-distributive forcing notions of size [Formula: see text] can be embedded into tree Prikry forcing notions with [Formula: see text]-complete ultrafilters under various large cardinal assumptions. An alternative formulation — can the filter of dense open subsets of a [Formula: see text]-distributive forcing notion of size [Formula: see text] be extended to a [Formula: see text]-complete ultrafilter.

Assuming large cardinals we produce a forcing extension of V which preserves cardinals, does not add reals, and makes the set of points of countable V cofinality in κ+ nonstationary. Continuing to force further, we obtain an extension in which the set of points of countable V cofinality in ν is nonstationary for every regular ν ≥ κ+. Finally we show that our large cardinal assumption is optimal.