### Archives

### Recent blog posts

- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014
- Walk on countable ordinals: the characteristics December 1, 2013
- Polychromatic colorings November 26, 2013
- Universal binary sequences November 14, 2013
- Syndetic colorings with applications to S and L October 26, 2013
- Open coloring and the cardinal invariant $\mathfrak b$ October 8, 2013

### Keywords

reflection principles Cardinal Invariants Successor of Singular Cardinal middle diamond Mandelbrot set Prevalent singular cardinals Partition Relations sap polarized partition relation Cohen real free Boolean algebra Poset Singular Cofinality Rado's conjecture Chromatic number Constructible Universe Axiom R Hereditarily Lindelöf space Square-Brackets Partition Relations PFA(S)[S] Aronszajn tree Hedetniemi's conjecture tensor product graph Singular Density weak diamond Small forcing Generalized Clubs Non-saturation Club Guessing Dushnik-Miller Prikry-type forcing Diamond incompactness approachability ideal Souslin Tree Foundations Rainbow sets Martin's Axiom ccc Singular cardinals combinatorics stationary reflection Rock n' Roll Antichain projective Boolean algebra P-Ideal Dichotomy b-scale Shelah's Strong Hypothesis Almost-disjoint famiy Weakly compact cardinal Whitehead Problem Erdos-Hajnal graphs Successor of Regular Cardinal Absoluteness Forcing Axioms OCA Erdos Cardinal PFA Minimal Walks diamond star Almost countably chromatic Forcing Cardinal function Universal Sequences Ostaszewski square Sakurai's Bell inequality weak square stationary hitting Uniformization square Knaster L-space S-Space Large Cardinals Kurepa Hypothesis very good scale

# Tag Archives: approachability ideal

## Shelah’s approachability ideal (part 2)

In a previous post, we defined Shelah’s approachability ideal $I[\lambda]$. We remind the reader that a subset $S\subseteq\lambda$ is in $I[\lambda]$ iff there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$ such that for club many $\delta\in S$, the union … Continue reading

Posted in Blog, Expository, Open Problems
Tagged approachability ideal, Club Guessing
Leave a comment

## Shelah’s approachability ideal (part 1)

Given an infinite cardinal $\lambda$, Shelah defines an ideal $I[\lambda]$ as follows. Definition (Shelah, implicit in here). A set $S$ is in $I[\lambda]$ iff $S\subseteq\lambda$ and there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$, and some club $E\subseteq\lambda$, so … Continue reading

## Jensen’s diamond principle and its relatives

This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading

Posted in Open Problems, Publications
Tagged 03E05, 03E35, 03E50, approachability ideal, Club Guessing, Diamond, diamond star, Non-saturation, sap, Souslin Tree, square, stationary hitting, Uniformization, Whitehead Problem
2 Comments

## The failure of diamond on a reflecting stationary set

Joint work with Moti Gitik. Abstract: It is shown that the failure of $\diamondsuit_S$, for a subset $S\subseteq\aleph_{\omega+1}$ that reflects stationarily often, is consistent with GCH and $\text{AP}_{\aleph_\omega}$, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading

## A relative of the approachability ideal, diamond and non-saturation

Abstract: Let $\lambda$ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square^*_\lambda$ together with $2^\lambda=\lambda^+$ implies $\diamondsuit_S$ for every $S\subseteq\lambda^+$ that reflects stationarily often. In this paper, for a subset $S\subset\lambda^+$, a normal subideal of … Continue reading