### 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

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

# Tag Archives: approachability ideal

## Same Graph, Different Universe

Abstract. May the same graph admit two different chromatic numbers in two different universes? how about infinitely many different values? and can this be achieved without changing the cardinals structure? We answer these questions in the affirmative. In this paper, … Continue reading

Posted in Preprints
Tagged approachability ideal, Chromatic number, Constructible Universe, Forcing, Ostaszewski square
5 Comments

## 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