### Archives

### Recent blog posts

- 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
- Partitioning the club guessing January 22, 2014

### Keywords

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

# Tag Archives: Antichain

## Logic in Hungary, August 2005

These are the slides of a contributed talk given at the Logic in Hungary 2005 meeting (Budapest, 5–11 August 2005). Talk Title: On the consistency strength of the Milner-Sauer Conjecture Abstract: In their paper from 1981, after learning about Pouzet‘s theorem that any … Continue reading

Posted in Contributed Talks
Tagged Antichain, Shelah's Strong Hypothesis, Singular coﬁnality
Leave a comment

## Antichains in partially ordered sets of singular cofinality

Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset $\mathbb P$, if $\text{cf}(\mathbb P)$ is a singular cardinal $\lambda$, then $\mathbb P$ must contain an antichain of size $\text{cf}(\lambda)$. The main result of of this … Continue reading

Posted in Publications, Singular Cardinals Combinatorics
Tagged 03E04, 03E35, 06A07, Antichain, Poset, Singular coﬁnality
Leave a comment