Tag Archives: 03E35

Openly generated Boolean algebras and the Fodor-type reflection principle

Joint work with Sakaé Fuchino. Abstract: We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is 2-projective. Previously it was known that this … Continue reading

Posted in Compactness, Publications | Tagged , , , , , , , , , , , | Comments Off on Openly generated Boolean algebras and the Fodor-type reflection principle

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

On guessing generalized clubs at the successors of regulars

Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading

Posted in Publications, Souslin Hypothesis, Squares and Diamonds | Tagged , , , , , , , , , , , | 2 Comments

Antichains in partially ordered sets of singular cofinality

Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P) is a singular cardinal λ, then P must contain an antichain of size cf(λ). The main result of of this … Continue reading

Posted in Publications, Singular Cardinals Combinatorics | Tagged , , , , , | Leave a comment

The Ostaszewski square, and homogeneous Souslin trees

Abstract: Assume GCH and let λ denote an uncountable cardinal. We prove that if ◻λ holds, then this may be  witnessed by a coherent sequence Cαα<λ+ with the following remarkable guessing property: For every sequence Aii<λContinue reading

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