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