We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at ℵω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor—Shelah [7].

We investigate club guessing sequences and filters. We prove that assuming V=L, there exists a strong club guessing sequence on μ if and only if μ is not ineffable for every uncountable regular cardinal μ. We also prove that for every uncountable regular cardinal μ, relative to the existence of a Woodin cardinal above μ, it is consistent that every tail club guessing ideal on μ is precipitous.

We prove consistent, assuming there is a supercompact cardinal, that there is a singular strong limit cardinal $\mu$ , of cofinality $\omega$ , such that every $\mu^{+}$ -chromatic graph X on $\mu^{+}$ has an edge colouring c of X into $\mu$ colours for which every vertex colouring g of X into at most $\mu$ many colours has a g-colour class on which c takes every value. The paper also contains some generalisations of the above statement in which $\mu^{+}$ is replaced (...) by other cardinals < $\mu$. (shrink)

We present two different types of models where, for certain singular cardinals λ of uncountable cofinality, λ → (λ,ω + 1) 2 , although λ is not a strong limit cardinal. We announce, here, and will present in a subsequent paper, [7], that, for example, consistently, $\aleph_{\omega_1} \nrightarrow (\aleph_{\omega_1}, \omega + 1)^2$ and consistently, 2 $^{\aleph_0} \nrightarrow (2^{\aleph_0},\omega + 1)^2$.

Assuming 0 ♯ does not exist, we present a combinatorial approach to Jensen's method of coding by a real. The forcing uses combinatorial consequences of fine structure (including the Covering Lemma, in various guises), but makes no direct appeal to fine structure itself.

This paper grew as a continuation of [Sh462] but in the present form it can serve as a motivation for it as well. We deal with the same notions, all defined in 1.1, and use just one simple lemma from there whose statement and proof we repeat as 2.1. Originally entangledness was introduced, in [BoSh210] for example, in order to get narrow boolean algebras and examples of the nonmultiplicativity of c.c-ness. These applications became marginal when other methods were found and (...) successfully applied (especially Todorčevic walks) but after the pcf constructions which made their début in [Sh-g] and were continued in [Sh462] it seems that this notion gained independence.Generally we aim at characterizing the existence of strong and weak entangled orders in cardinal arithmetic terms. In [Sh462, §6] necessary conditions were shown for strong entangledness which in a previous version was erroneously proved to be equivalent to plain entangledness. In §1 we give a forcing counterexample to this equivalence and in §2 we get those results for entangledness (certainly the most interesting case). A new construction of an entangled order ends this section. In §3 we get weaker results for positively entangledness, especially when supplemented with the existence of a separating point (Definition 2.2). An antipodal case is defined in 3.10 and completely characterized in 3.11. Lastly we outline in 3.12 a forcing example showing that these two subcases of positive entangledness comprise no dichotomy. The work was done during the fall of 1994 and the winter of 1995. The second author proved Theorems 1.2, 2.14, the result that is mentioned in Remark 2.11 and what appears in this version as Theorem 2.10(a) with the further assumptionden(I)θ< μ. The first author is responsible for waving off this assumption (actually by showing that it holds in the general case), for Theorems 2.12 and 2.13 in Section 2 and for the work which is presented in Section 3. (shrink)

We strengthen a theorem of Gitik and Shelah [6] by showing that if κ is either weakly inaccessible or the successor of a singular cardinal and S is a stationary subset of κ such that $NS_{\kappa} \upharpoonright S$ is saturated then $\kappa \S$ is fat. Using this theorem we derive some results about the existence of fat stationary sets. We then strengthen some results due to Baumgartner and Taylor [2], showing in particular that if I is a $\lambda^{+++}-saturated$ normal ideal (...) on $P_{\kappa} \lambda$ then the conditions of being $\lambda^{+}-preserving$ , weakly presaturated, and presaturated are equivalent for I. (shrink)

Our theme is that not every interesting question in set theory is independent of ZFC. We give an example of a first order theory T with countable D(T) which cannot have a universal model at ℵ1 without CH; we prove in ZFC a covering theorem from the hypothesis of the existence of a universal model for some theory; and we prove--again in ZFC--that for a large class of cardinals there is no universal linear order (e.g. in every regular $\aleph_1 < (...) \lambda < 2^{\aleph_0}$). In fact, what we show is that if there is a universal linear order at a regular λ and its existence is not a result of a trivial cardinal arithmetical reason, then λ "resembles" ℵ1--a cardinal for which the consistency of having a universal order is known. As for singular cardinals, we show that for many singular cardinals, if they are not strong limits then they have no universal linear order. As a result of the nonexistence of a universal linear order, we show the nonexistence of universal models for all theories possessing the strict order property (for example, ordered fields and groups, Boolean algebras, p-adic rings and fields, partial orders, models of PA and so on). (shrink)

I examine various claims to the effect that Cantor's Continuum Hypothesis and other problems of higher set theory are ill-posed questions. The analysis takes into account the viability of the underlying philosophical views and recent mathematical developments.

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2 |A| = 2 |B| . This implies in particular that B has 2 |B| subalgebras. We also discuss some more general problems about subalgebras and free subsets of an algebra. The result on the number of subalgebras in a Boolean algebra solves a question of Monk from [6]. The paper is intended to be accessible (...) as far as possible to a general audience, in particular we have confined the more technical material to a "black box" at the end. The proof involves a variation on Foreman and Woodin's model in which GCH fails everywhere. (shrink)

We prove a compactness theorem for pseudopower operations of the form \}\) where \\le {{\,\mathrm{cf}\,}}\). Our main tool is a result that has Shelah’s cov versus pp Theorem as a consequence. We also show that the failure of compactness in other situations has significant consequences for pcf theory, in particular, implying the existence of a progressive set A of regular cardinals for which \\) has an inaccessible accumulation point.

We associate Hanf numbers to triples where T and T1 are theories and p is a type. We show that the Hanf number for the property: “there is a model M1 of which omits p, but is saturated” is larger than the Hanf number of but smaller than the Hanf number of when T is stable with. In fact, surprisingly, we even characterise the Hanf number of when we fix where T is a first order complete (and stable), and demand.

We study the structural rainbow Ramsey theory at uncountable cardinals. Compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than ω1, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in [18].

Gitik and Rinot :1771–1795, 2012) proved assuming the existence of a supercompact that it is consistent to have a strong limit cardinal \ of countable cofinality such that \, there is a very good scale at \, and \ fails along some reflecting stationary subset of \\). In this paper, we force over Gitik and Rinot’s model but with a modification of Gitik–Sharon :311, 2008) diagonal Prikry forcing to get this result for \.

It is shown in this paper that it is consistent (relative to almost huge cardinals) for various club guessing ideals to be saturated.

Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at${\kappa ^{ + + }}$, assuming that$\kappa = {\kappa ^{ < \kappa }}$and there is a weakly compact cardinal aboveκ.If in additionκis supercompact then we can forceκto be${\aleph _\omega }$in the extension. The proofs combine the techniques of adding and then destroying (...) a nonreflecting stationary set or a${\kappa ^{ + + }}$-Souslin tree, variants of Mitchell’s forcing to obtain the tree property, together with the Prikry-collapse poset for turning a large cardinal into${\aleph _\omega }$. (shrink)

We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.

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 address three questions raised by Cummings and Foreman regarding a model of Gitik and Sharon. We first analyze the PCF-theoretic structure of the Gitik–Sharon model, determining the extent of good and bad scales. We then classify the bad points of the bad scales existing in both the Gitik–Sharon model and other models containing bad scales. Finally, we investigate the ideal of subsets of singular cardinals of countable cofinality carrying good scales.

We present several forcing posets for adding a non-reflecting stationary subset of Pω1, where λ≥ω2. We prove that PFA is consistent with dense non-reflection in Pω1, which means that every stationary subset of Pω1 contains a stationary subset which does not reflect to any set of size 1. If λ is singular with countable cofinality, then dense non-reflection in Pω1 follows from the existence of squares.

A class K of structures is controlled if for all cardinals λ, the relation of L∞,λ-equivalence partitions K into a set of equivalence classes . We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled 69–88).

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 prove that colouring of pairs from 2 with strong properties exists. The easiest to state problem it solves is: there are two topological spaces with cellularity 1 whose product has cellularity 2; equivalently, we can speak of cellularity of Boolean algebras or of Boolean algebras satisfying the 2-c.c. whose product fails the 2-c.c. We also deal more with guessing of clubs.

We provide here the first steps toward a Classification Theory ofElementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some λ greater than its Löwenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non μ-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the o Conjecture for these classes. Further (...) results are in preparation. (shrink)

We use pcf theory to prove results on reflection at singular cardinals.

The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping Reflection Principle, a consequence of PFA. While the results fall short of showing that MRP implies SCH, it will be shown that MRP implies that if SCH fails first at κ then every stationary subset of reflects. It will also be demonstrated (...) that MRP always fails in a generic extension by Prikry forcing. (shrink)

We obtain very strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. In particular, the simplest of our results establishes that if μ is singular and , then there is a regular cardinal θ<μ such that any fewer than cf stationary subsets of must reflect simultaneously.

The following pcf results are proved:1. Assume thatκ>ℵ0κ>ℵ0is a weakly compact cardinal. Letμ>2κμ>2κbe a singular cardinal of cofinality κ. Then for every regularView the MathML sourceλ sup{suppcfσ⁎-complete|a⊆Reg∩and|a|<μ}.Turn MathJax onAs an application we show that:if κ is a measurable cardinal andj:V→Mj:V→Mis the elementary embedding by a κ-complete ultrafilter over κ, then for every τ the following holds:1. ifjjis a cardinal thenj=τj=τ;2. |j|=|j)||j|=|j)|;3. for any κ-complete ultrafilter W on κ, |j|=|jW||j|=|jW|.The first two items provide affirmative answers to questions from Gitik and Shelah (...) [2] and the third to a question of D. Fremlin. (shrink)

A self contained proof of Shelah's theorem is presented: If μ is a strong limit singular cardinal of uncountable cofinality and 2μ > μ+ then $\left( {\begin{array}{*{20}c} {\mu ^ + } \\ \mu \\ \end{array} } \right) \to \left( {\begin{array}{*{20}c} {\mu ^ + } \\ {\mu + 1} \\ \end{array} } \right)_{< cf\mu } $.

We prove that colouring of pairs from 2 with strong properties exists. The easiest to state problem it solves is: there are two topological spaces with cellularity 1 whose product has cellularity 2; equivalently, we can speak of cellularity of Boolean algebras or of Boolean algebras satisfying the 2-c.c. whose product fails the 2-c.c. We also deal more with guessing of clubs.

König, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of a higher Souslin tree from the strong guessing principle.Complementary to the author’s work on the validity of diamond and non-saturation at the successor of singulars, we deal here with a successor of regulars. It is established that even the non-strong guessing principle entails non-saturation, and that, assuming the necessary cardinal arithmetic configuration, entails a diamond-type principle which suffices for the construction of a (...) higher Souslin tree.We also establish the consistency of GCH with the failure of the weakest form of generalized club guessing. This, in particular, settles a question from the original paper. (shrink)