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

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

# Tag Archives: approachability ideal

## The eightfold way

Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing … Continue reading

## 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? In this paper, it is proved that in Godel’s constructible … Continue reading

Posted in Infinite Graphs, Publications
Tagged 03E35, 05C15, 05C63, approachability ideal, Chromatic number, Constructible Universe, Forcing, Ostaszewski square
10 Comments

## Shelah’s approachability ideal (part 2)

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

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