### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- 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

### Keywords

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

# Category Archives: Open Problems

## 6th European Set Theory Conference, July 2017

I gave a 3-lecture tutorial at the 6th European Set Theory Conference in Budapest, July 2017. Title: Strong colorings and their applications. Abstract. Consider the following questions. Is the product of two $\kappa$-cc partial orders again $\kappa$-cc? Does there exist … Continue reading

Posted in Invited Talks, Open Problems
Tagged b-scale, Cohen real, Luzin set, Minimal Walks, Souslin Tree, Square-Brackets Partition Relations
4 Comments

## Prikry forcing may add a Souslin tree

A celebrated theorem of Shelah states that adding a Cohen real introduces a Souslin tree. Are there any other examples of notions of forcing that add a $\kappa$-Souslin tree? and why is this of interest? My motivation comes from a … Continue reading

## Partitioning the club guessing

In a recent paper, I am making use of the following fact. Theorem (Shelah, 1997). Suppose that $\kappa$ is an accessible cardinal (i.e., there exists a cardinal $\theta<\kappa$ such that $2^\theta\ge\kappa)$. Then there exists a sequence $\langle g_\delta:C_\delta\rightarrow\omega\mid \delta\in E^{\kappa^+}_\kappa\rangle$ … Continue reading

## Syndetic colorings with applications to S and L

Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Definition. An L-space is a regular hereditarily Lindelöf topological space which is not hereditarily separable. Definition. We say that a coloring $c:[\omega_1]^2\rightarrow\omega$ is L-syndetic if the following holds. For every uncountable … Continue reading

## The S-space problem, and the cardinal invariant $\mathfrak p$

Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. Do they exist? Consistently, yes. However, Szentmiklóssy proved that compact $S$-spaces do not exist, assuming Martin’s Axiom. Pushing this further, Todorcevic later proved that … Continue reading

Posted in Blog, Expository, Open Problems
Tagged Hereditarily Lindelöf space, P-Ideal Dichotomy, PFA(S)[S], S-Space
4 Comments

## The S-space problem, and the cardinal invariant $\mathfrak p$

Posted in Blog, Expository, Open Problems
Tagged Hereditarily Lindelöf space, P-Ideal Dichotomy, PFA(S)[S], S-Space
4 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

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

## Dushnik-Miller for regular cardinals (part 1)

This is the first out of a series of posts on the following theorem. Theorem (Erdos-Dushnik-Miller, 1941). For every infinite cardinal $\lambda$, we have: $$\lambda\rightarrow(\lambda,\omega)^2.$$ Namely, for any coloring $c:[\lambda]^2\rightarrow\{0,1\}$ there exists either a subset $A\subseteq \lambda$ of order-type $\lambda$ with … Continue reading

## The order-type of clubs in a square sequence

Recall Jensen’s notion of square: Definition (Jensen): For an infinite cardinal $\lambda$, $\square_\lambda$ asserts the existence of a sequence $\overrightarrow C=\left\langle C_\alpha\mid\alpha\in\text{acc}(\lambda^+)\right\rangle$ such that for every limit $\alpha<\lambda^+$: $C_\alpha$ is a club subset of $\alpha$ of order-type $\le\lambda$; if $\beta\in\text{acc}(C_\alpha)$, … Continue reading