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

Posted in Compactness | Tagged , , , , , | 1 Comment

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 , , , , , , , | 10 Comments

Shelah’s approachability ideal (part 2)

In a previous post, we defined Shelah’s approachability ideal I[λ]. We remind the reader that a subset Sλ is in I[λ] iff there exists a collection {Dαα<λ}[P(λ)]<λ such that for club many δS, the union … Continue reading

Posted in Blog, Expository, Open Problems | Tagged , | Leave a comment

Shelah’s approachability ideal (part 1)

Given an infinite cardinal λ, Shelah defines an ideal I[λ] as follows. Definition (Shelah, implicit in here). A set S is in I[λ] iff Sλ and there exists a collection {Dαα<λ}[P(λ)]<λ, and some club Eλ, so … Continue reading

Posted in Blog, Expository | Tagged , | 3 Comments

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, Squares and Diamonds | Tagged , , , , , , , , , , , , , | 8 Comments

The failure of diamond on a reflecting stationary set

Joint work with Moti Gitik. Abstract: It is shown that the failure of S, for a subset Sω+1 that reflects stationarily often, is consistent with GCH and APω, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , , , , , , , | 1 Comment

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

Abstract: Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that ◻λ together with 2λ=λ+ implies S for every Sλ+ that reflects stationarily often. In this paper, for a subset Sλ+, a normal subideal of … Continue reading

Posted in Publications, Squares and Diamonds | Tagged , , , , , , , , , , , , | 5 Comments