Archives
Recent blog posts
- The S-space problem, and the cardinal invariant $\mathfrak b$ April 4, 2013
- An $S$-space from a Cohen real April 3, 2013
- Forcing with a Souslin tree makes $\mathfrak p=\omega_1$ April 1, 2013
- The S-space problem, and the cardinal invariant $\mathfrak p$ March 28, 2013
- Jones’ theorem on the cardinal invariant $\mathfrak p$ March 26, 2013
- Erdős 100 March 26, 2013
- Bell’s theorem on the cardinal invariant $\mathfrak p$ March 21, 2013
- The $\Delta$-system lemma: an elementary proof March 20, 2013
Keywords
weak square Dushnik-Miller Cardinal function Prevalent singular cardinals Small forcing Knaster PFA(S)[S] Erdos Cardinal Minimal Walks free Boolean algebra Souslin Tree Shelah's Strong Hypothesis Prikry-type forcing approachability ideal reflection principles Kurepa Hypothesis middle diamond Whitehead Problem Large Cardinals Poset stationary hitting square Antichain b-scale Hereditarily Lindelöf space Club Guessing Singular cardinals combinatorics Generalized Clubs Cohen real diamond star Almost countably chromatic Square-Brackets Partition Relations P-Ideal Dichotomy S-Space Diamond Mandelbrot set projective Boolean algebra Uniformization Partition Relations polarized partition relation Singular Density Foundations Forcing Successor of Singular Cardinal Sakurai's Bell inequality sap Aronszajn tree Non-saturation Chromatic number Rado's conjecture Singular Cofinality Rock n' Roll Ostaszewski square Rainbow sets Axiom R weak diamond Erdos-Hajnal graphs Successor of Regular Cardinal incompactness stationary reflection very good scale
Tag Archives: Club Guessing
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
An inconsistent form of club guessing
In this post, we shall present an answer (due to P. Larson) to a question by A. Primavesi concerning a certain strong form of club guessing. We commence with recalling Shelah’s concept of club guessing. Concept (Shelah). Given a regular … 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
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
Transforming rectangles into squares, with applications to strong colorings
Abstract: It is proved that every singular cardinal $\lambda$ admits a function $\textbf{rts}:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. That is, whenever $A,B$ are cofinal subsets of $\lambda^+$, we have $\textbf{rts}[A\circledast B]\supseteq C\circledast C$, for some cofinal subset $C\subseteq\lambda^+$. As a … Continue reading
The Ostaszewski square, and homogeneous Souslin trees
Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading
Posted in Preprints, Publications
Tagged 03E05, 03E35, Club Guessing, Ostaszewski square, Souslin Tree
2 Comments
