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