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

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

# Category Archives: Blog

## Polychromatic colorings

These are lectures notes of two talks Dani Livne gave in our Infinite Combinatorics seminar. I did not take notes in real-time, hence, all possible mistakes here are due to myself. Recall that a function $f:A\rightarrow B$ is said to … Continue reading

## Universal binary sequences

Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Suppose for the moment that we are given a fixed sequence $\langle f_\alpha:\omega\rightarrow2\mid \alpha\in a\rangle$, indexed by some set $a$ of ordinals. Then, for every function $h:a\rightarrow\omega$ and $i<\omega$, we … 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

## Open coloring and the cardinal invariant $\mathfrak b$

Nik Weaver asked for a direct proof of the fact that Todorcevic’s axiom implies the failure of CH fails. Here goes. Notation. For a set $X$, we write $[X]^2$ for the set of unordered pairs $\{ \{x,x’\}\mid x,x’\in X, x\neq … Continue reading

## Gabriel Belachsan (14/5/1976 – 20/8/2013)

רק כשעיני סגורות, עולם נגלה לפני

## PFA and the tree property at $\aleph_2$

Recall that a poset $\langle T,\le\rangle$ is said to be a $\lambda^+$-Aronszajn tree, if it isomorphic to a poset $(\mathcal T,\subseteq)$ of the form: $\emptyset\in \mathcal T\subseteq{}^{<\lambda^+}\lambda$; Write $\mathcal T_\alpha:=\{\sigma\in\mathcal T\mid \text{dom}(\sigma)=\alpha\}$; for all $\alpha<\lambda^+$, $\mathcal T_\alpha$ has size $\le\lambda$, … Continue reading

## A Kurepa tree from diamond-plus

Recall that $T$ is said to be a $\kappa$-Kurepa tree if $T$ is a tree of height $\kappa$, whose levels $T_\alpha$ has size $\le|\alpha|$ for co-boundedly many $\alpha<\kappa$, and such that the set of branches of $T$ has size $>\kappa$. … Continue reading

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

Recall that an S-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In a previous post, we showed that such a space exists after adding a Cohen real. Here, we shall construct one from an arithmetic … Continue reading

## An $S$-space from a Cohen real

Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In this post, we shall establish the consistency of the existence of such a space. Theorem (Roitman, 1979). Let $\mathbb C=({}^{<\omega}\omega,\subseteq)$ be the notion of … Continue reading

## Forcing with a Souslin tree makes $\mathfrak p=\omega_1$

I was meaning to include a proof of Farah’s lemma in my previous post, but then I realized that the slick proof assumes some background which may worth spelling out, first. Therefore, I am dedicating a short post for a … Continue reading