Archives
Keywords
tensor product graph Poset xbox Small forcing Hindman's Theorem Foundations weak Kurepa tree Cardinal function Iterated forcing Slim tree Almost Souslin Forcing Axioms Reduced Power Dushnik-Miller Shelah's Strong Hypothesis Successor of Singular Cardinal PFA very good scale Fodor-type reflection Kurepa Hypothesis Sakurai's Bell inequality 54G20 countably metacompact Diamond super-Souslin tree Absoluteness Sierpinski's onto mapping principle b-scale Successor of Regular Cardinal Martin's Axiom C-sequence ccc Amenable C-sequence square Dowker space Selective Ultrafilter Prikry-type forcing Partition Relations Weakly compact cardinal Luzin set Singular cofinality diamond star Cohen real club_AD weak diamond unbounded function Strong coloring P-Ideal Dichotomy Forcing SNR Subnormal ideal Postprocessing function nonmeager set Singular cardinals combinatorics Erdos-Hajnal graphs Commutative cancellative semigroups Knaster Reflecting stationary set Square-Brackets Partition Relations Rado's conjecture Subadditive Rainbow sets specializable Souslin tree Aronszajn tree Lipschitz reduction Vanishing levels indecomposable ultrafilter Singular Density Uniformly homogeneous Well-behaved magma Filter reflection Uniformization approachability ideal middle diamond Strongly Luzin set free Souslin tree Fat stationary set Precaliber S-Space Generalized descriptive set theory Mandelbrot set Large Cardinals stationary reflection polarized partition relation Constructible Universe Ineffable cardinal incompactness O-space Subtle cardinal full tree Ascent Path Generalized Clubs Whitehead Problem Ulam matrix Parameterized proxy principle Chromatic number Rock n' Roll coloring number Erdos Cardinal ZFC construction Diamond for trees sap stick Ostaszewski square Sigma-Prikry Hereditarily Lindelöf space free Boolean algebra Diamond-sharp Subtle tree property Souslin Tree Knaster and friends GMA HOD Prevalent singular cardinals Greatly Mahlo Non-saturation higher Baire space Closed coloring regressive Souslin tree Universal Sequences stationary hitting Distributive tree Microscopic Approach Almost countably chromatic reflection principles Club Guessing Ramsey theory over partitions Cardinal Invariants Nonspecial tree Minimal Walks square principles projective Boolean algebra Jonsson cardinal Almost-disjoint family PFA(S)[S] L-space Was Ulam right positive partition relation strongly bounded groups OCA Chang's conjecture Local Club Condensation. weak square transformations Fast club Uniformly coherent Coherent tree Hedetniemi's conjecture AIM forcing Axiom R Analytic sets Open Access Antichain
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
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