We survey the definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals . The theory is applied to various combinatorial principles to get lower bounds for their consistency strengths in terms of the existence of sequences of measurable cardinals. We consider instances of Chang's conjecture, ‘accessible’ Jónsson cardinals, the free subset property for small cardinals, a canonization property of ω ω , and (...) a non-closure property of elementary embeddings of the universe. In some cases, equiconsistencies are obtained. (shrink)

The cut and choose game is one of the infinitary games on a complete Boolean algebra B introduced by Jech. We prove that existence of a winning strategy for II in implies semiproperness of B. If the existence of a supercompact cardinal is consistent then so is “for every 1-distributive algebra B II has a winning strategy in ”.

We show that for all natural numbers n, the theory “ZF + DC $_{\aleph_n}$ + $\aleph_{\omega}$ is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + $\aleph_{\omega_1}$ is an ω 2-Rowbottom cardinal carrying an ω 2-Rowbottom filter and ω 1 is regular” has the same consistency strength as the theory “ZFC + There exist ω 1 measurable cardinals”. We (...) also discuss some generalizations of these results. (shrink)

A generalization of Příkrý's forcing is analyzed which adjoins to a model of ZFC a set of order type at most ω below each member of a discrete set of measurable cardinals. A characterization of generalized Příkrý generic sequences reminiscent of Mathias' criterion for Příkrý genericity is provided, together with a maximality theorem which states that a generalized Příkrý sequence almost contains every other one lying in the same extension.This forcing can be used to falsify the covering lemma for a (...) higher core model if there is an inner model with infinitely many measurable cardinals – changing neither cardinalities nor cofinalities. Another application is an alternative proof of a theorem of Mitchell stating that if the core model contains a regular limit θ of measurable cardinals, then there is a model in which every set of measurable cardinals of K bounded in θ has an indiscernible sequence but there is no such sequence for the entire set of measurables of K below θ. (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)

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)

In this paper, we answer a question asked in Koepke et al. regarding a Mathias criteria for Tree-Prikry forcing. Also we will investigate Prikry forcing using various filters. For completeness and self inclusion reasons, we will give proofs of many known theorems.

We prove the existence of p-ideals that are nonmeagre subsets of P(ω) under various set-theoretic assumptions.

We shall construct a smooth category of mice and embeddings in the core model for measures of order 0. The existence of such a category implies that the global principle □ holds in K. We then prove a much stronger, the so-called condensation-coherent version of global □. The key tool of the whole construction is a new criterion on preserving soundness under condensation.