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

# Tag Archives: Antichain

## Logic in Hungary 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 Cofinality
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