In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2ω = ω2 and that [Formula: see text] satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that □ fails for all regular κ > ω1.

• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to calibrate (...) some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (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.

In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).

We investigate some aspects of bounding, splitting, and almost disjointness. In particular, we investigate the relationship between the bounding number, the closed almost disjointness number, the splitting number, and the existence of certain kinds of splitting families.

There is an optimal way of increasing certain cardinal invariants of the continuum.

We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof carries a partial square.

We explore the connection between combinatorial principles on uncountable cardinals, like stick and club, on the one hand, and the combinatorics of sets of reals and, in particular, cardinal invariants of the continuum, on the other hand. For example, we prove that additivity of measure implies that Martin’s axiom holds for any Cohen algebra. We construct a model in which club holds, yet the covering number of the null ideal is large. We show that for uncountable cardinals κ≤λ and , (...) if all subsets of λ either contain, or are disjoint from, a member of , then has size at least etc. As an application, we solve the Gross space problem under by showing that there is such a space over any countable field. In two appendices, we solve problems of Fuchino, Shelah and Soukup, and of Kraszewski, respectively. (shrink)

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 show that the members of a certain class of semi-proper iterations do not add countable sets of ordinals. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from ω1 to ω1 is bounded on a club by a canonical function for an ordinal less than ω2.

We show how to get canonical models from in which the nonstationary ideal on ω1 is ω1 dense and there is no P-point.

We introduce a variant of Martin's axiom, called the grounded Martin's axiom, or math formula, which asserts that the universe is a c.c.c. forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of math formula. The new axiom is shown to be consistent with the failure of math formula and a singular continuum. We prove that math formula is preserved in a strong way when adding a Cohen (...) real and that adding a random real to a model of math formula preserves math formula. We also consider the analogous variant of the proper forcing axiom. (shrink)

We prove that it is consistent that there exists a saturated tail club guessing ideal on ω1 which is not a restriction of the non-stationary ideal. Two proofs are presented. The first one uses a new forcing axiom whose consistency can be proved from a supercompact cardinal. The resulting model can satisfy either CH or 20=2. The second one is a direct proof from a Woodin cardinal, which gives a witnessing model with CH.

A function f from ω1 to the ordinals is called a canonical function for an ordinal α if f represents α in any generic ultrapower induced by forcing with math formula. We introduce here a method for coding sets of ordinals using canonical functions from ω1 to ω1. Combining this approach with arguments from, we show, assuming the Continuum Hypothesis, that for each cardinal κ there is a forcing construction preserving cardinalities and cofinalities forcing that every subset of κ is (...) an element of the inner model math formula. (shrink)

We give some restrictions for the search for a model of the club principle with no Souslin trees. We show that ${\diamondsuit(2^\omega, [\omega]^\omega}$ , is almost constant on) together with CH and “all Aronszajn trees are special” is consistent relative to ZFC. This implies the analogous result for a double weakening of the club principle.

We prove the consistency result from the title. By forcing we construct a model of g = ℵ l , b = cf(Sym(ω)) = ℵ 2.

The purpose of this article is to prove the relative consistency of certain statements about open colorings with 2ℵ0 < 2ℵ1. In particular both OCA and the statement that every 1–1 function of size ℵ1 is σ-monotonic are consistent with 2ℵ0 < 2ℵ1. As a corollary we have that 2ℵ0 < 2ℵ1 does not admit a ℙ max variation.

Itay Neeman presented a new way of iterating of proper forcings. We would like to generalize it here to semi-proper.