### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

Absoluteness Parameterized proxy principle Aronszajn tree Antichain Forcing Slim tree Chromatic number tensor product graph polarized partition relation Square-Brackets Partition Relations Axiom R Minimal Walks Non-saturation Fast club Club Guessing Shelah's Strong Hypothesis Diamond diamond star Rainbow sets PFA(S)[S] Erdos Cardinal free Boolean algebra Forcing Axioms Hereditarily Lindelöf space Jonsson cardinal Singular coﬁnality Cohen real projective Boolean algebra Successor of Regular Cardinal 05A17 coloring number Rock n' Roll Fodor-type reflection S-Space Postprocessing function very good scale reflection principles Stevo Todorcevic b-scale Rado's conjecture weak diamond Almost-disjoint famiy Singular Density Distributive tree sap xbox Dushnik-Miller Kurepa Hypothesis stationary reflection OCA Universal Sequences Generalized Clubs Large Cardinals Almost countably chromatic Erdos-Hajnal graphs HOD stationary hitting square Souslin Tree ccc square principles Luzin set Prevalent singular cardinals Cardinal function Poset Hindman's Theorem Selective Ultrafilter Successor of Singular Cardinal Knaster Small forcing Uniformly coherent Reduced Power 20M14 Constructible Universe Ascent Path Commutative cancellative semigroups Chang's conjecture L-space Mandelbrot set Coherent tree Prikry-type forcing weak square Hedetniemi's conjecture Fat stationary set approachability ideal Martin's Axiom Almost Souslin Nonspecial tree incompactness Sakurai's Bell inequality Uniformization middle diamond Weakly compact cardinal Microscopic Approach Cardinal Invariants 11P99 Ostaszewski square Singular cardinals combinatorics super-Souslin tree Foundations Whitehead Problem Partition Relations P-Ideal Dichotomy PFA

# Tag Archives: ccc

## Generalizations of Martin’s Axiom and the well-met condition

Recall that Martin’s Axiom asserts that for every partial order $\mathbb P$ satisfying c.c.c., and for any family $\mathcal D$ of $<2^{\aleph_0}$ many dense subsets of $\mathbb P$, there exists a directed subset $G$ of $\mathbb P$ such that $G\cap … Continue reading

## Chain conditions of products, and weakly compact cardinals

Abstract. The history of productivity of the $\kappa$-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every … Continue reading

Posted in Partition Relations, Publications
Tagged Aronszajn tree, ccc, Fat stationary set, Minimal Walks, square, Weakly compact cardinal
2 Comments

## c.c.c. vs. the Knaster property

After my previous post on Mekler’s characterization of c.c.c. notions of forcing, Sam, Mike and myself discussed the value of it . We noticed that a prevalent verification of the c.c.c. goes like this: given an uncountable set of conditions, … Continue reading

## c.c.c. forcing without combinatorics

In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing notions. Recall that a notion of forcing $\mathbb P$ is said to satisfy the c.c.c. iff … Continue reading