We show that it is consistent relative to a huge cardinal that for all infinite cardinals [Formula: see text], [Formula: see text] holds and there is a stationary [Formula: see text] such that [Formula: see text] is [Formula: see text]-saturated.

Rado’s Conjecture is a compactness/reflection principle that says any nonspecial tree of height ω1 has a nonspecial subtree of size ℵ1. Though incompatible with Martin’s Axiom, Rado’s Conjecture turns out to have many interesting consequences that are also implied by certain forcing axioms. In this paper, we obtain consistency results concerning Rado’s Conjecture and its Baire version. In particular, we show that a fragment of PFA, which is the forcing axiom for Baire Indestructibly Proper forcings, is compatible with the Baire (...) Rado’s Conjecture. As a corollary, the Baire Rado’s Conjecture does not imply Rado’s Conjecture. Then we discuss the strength and limitations of the Baire Rado’s Conjecture regarding its interaction with stationary reflection principles and some families of weak square principles. Finally, we investigate the influence of Rado’s Conjecture on some polarized partition relations. (shrink)

An ℵ1-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But fifteen years after Tennenbaum and Jech independently devised notions of forcing for introducing such a tree, Shelah proved that already the simplest forcing notion—Cohen forcing—adds an ℵ1-Souslin tree. In this article, we identify a rather large class of notions of forcing that, assuming a GCH-type hypothesis, add a λ+-Souslin tree. This class includes Prikry, Magidor, and Radin forcing.

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.

We construct a model [Formula: see text] of [Formula: see text] which lies between [Formula: see text] and [Formula: see text] for a Cohen real [Formula: see text] and does not have the form [Formula: see text] for any set [Formula: see text]. This is loosely based on the unwritten work done in a Bristol workshop about Woodin’s HOD Conjecture in 2011. The construction given here allows for a finer analysis of the needed assumptions on the ground models, thus taking (...) us one step closer to understanding models of [Formula: see text], and the HOD Conjecture and its relatives. This model also provides a positive answer to a question of Grigorieff about intermediate models of [Formula: see text], and we use it to show the failure of Kinna–Wagner Principles in [Formula: see text]. (shrink)

I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s ordinal reflection principle atω2, and that its effect on the failure of weak squares is very similar to that of Martin’s Maximum.

The effects of the forcing axioms \, \ and \ on the failure of weak threaded square principles of the form \\) are analyzed. To this end, a diagonal reflection principle, \, and it implies the failure of \\) if \. It is also shown that this result is sharp. It is noted that \/\ imply the failure of \\), for every regular \, and that this result is sharp as well.

A narrow system is a combinatorial object introduced by Magidor and Shelah in connection with work on the tree property at successors of singular cardinals. In analogy to the tree property, a cardinalκsatisfies thenarrow system propertyif every narrow system of heightκhas a cofinal branch. In this paper, we study connections between the narrow system property, square principles, and forcing axioms. We prove, assuming large cardinals, both that it is consistent that ℵω+1satisfies the narrow system property and$\square _{\aleph _\omega, < \aleph (...) _\omega } $holds and that it is consistent that every regular cardinal satisfies the narrow system property. We introduce natural strengthenings of classical square principles and show how they can be used to produce narrow systems with no cofinal branch. Finally, we show that the Proper Forcing Axiom implies that every narrow system of countable width has a cofinal branch but is consistent with the existence of a narrow system of width ω1with no cofinal branch. (shrink)

Current research in set theory raises the possibility that \ can be made compatible with some stationary reflection, depending on the parameter \. The purpose of this paper is to demonstrate the difficulty in such results. We prove that the poset \\), which adds a \-sequence by initial segments, will also add non-reflecting stationary sets concentrating in any given cofinality below \. We also investigate the CMB poset, which adds \ in a slightly different way. We prove that the CMB (...) poset also adds non-reflecting stationary sets, but not necessarily concentrating in any cofinality. (shrink)

Shelah and Stanley :887–897, 1988) constructed 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}-Aronszjan tree with an ascent path using □κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\square _{\kappa }$$\end{document}. We show that □κ,2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\square _{\kappa,2}$$\end{document} does not imply the existence of Aronszajn trees with ascent paths. The proof goes through an intermediate combinatorial principle, which we investigate further.

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

We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of introduced by Brodsky and Rinot for the purpose of constructing κ‐Souslin trees. Answering a question of Rinot, we prove that the weaker of these strengthenings is compatible with stationary reflection at κ but the stronger is not. We then prove that, if μ is a singular cardinal, implies the existence of a special ‐tree with a cf(μ)‐ascent path, thus answering a question of Lücke.

We investigate the compatibility of $$I_0$$ with various combinatorial principles at $$\lambda ^+$$, which include the existence of $$\lambda ^+$$ -Aronszajn trees, square principles at $$\lambda $$, the existence of good scales at $$\lambda $$, stationary reflections for subsets of $$\lambda ^{+}$$, diamond principles at $$\lambda $$ and the singular cardinal hypothesis at $$\lambda $$. We also discuss whether these principles can hold in $$L(V_{\lambda +1})$$.

We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a κ+-supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that by using any of the standard modified Prikry forcings it is possible to turn a measurable subcompact cardinal into ℵω and make the principle □ℵω,<ω fail in the generic extension. We also (...) show that by using Lévy collapse followed by standard iterated club shooting it is possible to turn a subcompact cardinal into ℵ2 and arrange in the generic extension that simultaneous reflection holds at ℵ2, and at the same time, every stationary subset of ℵ3 concentrating on points of cofinality ω has a reflection point of cofinality ω1. (shrink)

We prove that in all Mitchell-Steel core models, □k holds for all k. From this we obtain new consistency strength lower bounds for the failure of □k if k is either singular and countably closed, weakly compact, or measurable. Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □k holds iff k is not subcompact.

The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection and show that it gives rise to families of axioms which are consistent relative to extendible cardinals, and which imply the strongest known instances of forcing axioms, such as Martin’s Maximum++. In addition, we study the unbounded resurrection postulates in terms of consistency lower bounds, obtaining, (...) for example, failures of the weak square principle. (shrink)

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.

Our main results are: (A) It is consistent relative to a large cardinal that holds but fails. (B) If holds and are two infinite cardinals such that and λ carries a good scale, then holds. (C) If are two cardinals such that κ is λ‐Shelah and, then there is no good scale for λ.

This paper investigates the principles □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{{\rm ta}}}_{\lambda,\delta}}$$\end{document}, weakenings of □λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_\lambda}$$\end{document} which allow δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\delta}$$\end{document} many clubs at each level but require them to agree on a tail-end. First, we prove that □λ,<ωta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm {ta}}}_{\lambda,< \omega}}$$\end{document} implies □λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_\lambda}$$\end{document}. Then, (...) by forcing from a model with a measurable cardinal, we show that □λ,2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\lambda,2}}$$\end{document} does not imply □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm{ta}}}_{\lambda,\delta}}$$\end{document} for regular λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}, and □δ+,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm{ta}}}_{\delta^+,\delta}}$$\end{document} does not imply □δ+,<δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\delta^+,< \delta}}$$\end{document}. With a supercompact cardinal the former result can be extended to singular λ, and the latter can be improved to show that □λ,δta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square^{{\rm {ta}}}_{\lambda,\delta}}$$\end{document} does not imply □λ,<δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\lambda,< \delta}}$$\end{document} for δ<λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\delta < \lambda}$$\end{document}. (shrink)

We study normal ideals on Pκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${P_{\kappa} }$$\end{document} that are defined in terms of games of uncountable length.

Let μ,κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu, \kappa}$$\end{document} and λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} be three uncountable cardinals such that μ=cf<κ=cf<λ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu = {\rm cf} < \kappa = {\rm cf} < \lambda.}$$\end{document} The game ideal NGκ,λμ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${NG_{\kappa,\lambda}^\mu}$$\end{document} is a normal ideal on Pκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${P_\kappa }$$\end{document} defined using games (...) of length μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu}$$\end{document}. We show that if 2≤λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{} \leq \lambda}$$\end{document} and there are no large cardinals in an inner model, then the diamond principle ♢κ,λ[NGκ,λμ]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} [{NG}_{\kappa,\lambda}^\mu]}$$\end{document} holds. We also show that if ♢κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_\kappa }$$\end{document} holds, where S is a stationary subset of κ\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}, then ♢κ,λ:a∩κ∈S})\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} : a \cap \kappa \in S\})}$$\end{document} holds. (shrink)

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.

We construct a model in which the singular cardinal hypothesis fails at ℵωℵω. We use characterizations of genericity to show the existence of a projection between different Prikry type forcings.

We introduce the weak partial square principles View the MathML source and View the MathML source, which combine the ideas of a weak square sequence and a partial square sequence. We construct models in which weak partial square principles fail. The main result of the paper is that □λ,κ does not imply View the MathML source.

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide a detailed (...) picture of the implications between these square principles. (shrink)

We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation to prove (...) some covering results for tight structures, along with some results on tightness and stationary reflection. Finally, we prove some absoluteness theorems in PCF theory, deduce a covering theorem, and apply that theorem to the study of precipitous ideals. (shrink)

We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4].

We construct two models in which the least strongly compact cardinal κ is also the least strong cardinal. In each of these models, κ satisfies indestructibility properties for both its strong compactness and strongness.

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 prove a number of consistency results complementary to the ZFC results from our paper [J. Cummings, M. Foreman, M. Magidor, Canonical structure in the universe of set theory: part one, Annals of Pure and Applied Logic 129 211–243]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of the (...) existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic supercompactness. (shrink)

We study a normal ideal on Pκ that is defined in terms of games.

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.