Archives
Keywords
Amenable C-sequence Erdos Cardinal Ramsey theory over partitions Minimal Walks Slim tree Ineffable cardinal approachability ideal Nonspecial tree Almost Souslin P-Ideal Dichotomy free Souslin tree higher Baire space Precaliber specializable Souslin tree Analytic sets diamond star regressive Souslin tree Diamond for trees O-space Successor of Singular Cardinal countably metacompact Rock n' Roll ccc reflection principles projective Boolean algebra Greatly Mahlo Diamond-sharp unbounded function Vanishing levels OCA Subtle tree property Lipschitz reduction Subtle cardinal Strong coloring Almost-disjoint family Almost countably chromatic Reflecting stationary set transformations Non-saturation Partition Relations xbox b-scale weak diamond AIM forcing Kurepa Hypothesis Mandelbrot set Rainbow sets Rado's conjecture Uniformly coherent stick Aronszajn tree Subadditive Forcing Chromatic number club_AD middle diamond Iterated forcing Sakurai's Bell inequality Fast club polarized partition relation Generalized Clubs Forcing Axioms indecomposable ultrafilter PFA(S)[S] Cardinal function Commutative cancellative semigroups strongly bounded groups Distributive tree GMA Antichain Universal Sequences Well-behaved magma Erdos-Hajnal graphs weak square Hereditarily Lindelöf space Martin's Axiom Constructible Universe Knaster and friends Dushnik-Miller square principles Closed coloring L-space Sigma-Prikry Jonsson cardinal free Boolean algebra Uniformly homogeneous Shelah's Strong Hypothesis Hedetniemi's conjecture PFA Poset Ulam matrix Diamond Club Guessing ZFC construction Hindman's Theorem Square-Brackets Partition Relations Prikry-type forcing C-sequence Prevalent singular cardinals Absoluteness weak Kurepa tree Reduced Power Postprocessing function stationary reflection Microscopic Approach sap Coherent tree Souslin Tree Small forcing Uniformization Ostaszewski square Sierpinski's onto mapping principle coloring number Singular Density Luzin set Fat stationary set Local Club Condensation. Parameterized proxy principle Foundations Axiom R Filter reflection incompactness Knaster stationary hitting Whitehead Problem Was Ulam right SNR tensor product graph Chang's conjecture 54G20 HOD S-Space Fodor-type reflection nonmeager set Cardinal Invariants Large Cardinals Generalized descriptive set theory positive partition relation Dowker space Weakly compact cardinal Singular cardinals combinatorics Subnormal ideal Open Access Strongly Luzin set full tree very good scale Ascent Path Cohen real Successor of Regular Cardinal Selective Ultrafilter square super-Souslin tree Singular cofinality
Category Archives: Expository
Prolific Souslin trees
In a paper from 1971, Erdos and Hajnal asked whether (assuming CH) every coloring witnessing $\aleph_1\nrightarrow[\aleph_1]^2_3$ has a rainbow triangle. The negative solution was given in a 1975 paper by Shelah, and the proof and relevant definitions may be found … Continue reading
Posted in Blog, Expository
Tagged Rainbow sets, Souslin Tree, Square-Brackets Partition Relations
Leave a comment
Generalizations of Martin’s Axiom and the well-met condition
Recall that Martin’s Axiom asserts that for every partial order $\mathbb P$ satisfying c.c.c., and for any family $\mathcal D$ of $<2^{\aleph_0}$ many dense subsets of $\mathbb P$, there exists a directed subset $G$ of $\mathbb P$ such that $G\cap … Continue reading
Many diamonds from just one
Recall Jensen’s diamond principle over a stationary subset $S$ of a regular uncountable cardinal $\kappa$: there exists a sequence $\langle A_\alpha\mid \alpha\in S \rangle$ such that $\{\alpha\in S\mid A\cap\alpha=A_\alpha\}$ is stationary for every $A\subseteq\kappa$. Equivalently, there exists a sequence $\langle … Continue reading
Square principles
Since the birth of Jensen’s original Square principle, many variations of the principle were introduced and intensively studied. Asaf Karagila suggested me today to put some order into all of these principles. Here is a trial. Definition. A square principle … 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
Walk on countable ordinals: the characteristics
In this post, we shall present a few aspects of the method of walk on ordinals (focusing on countable ordinals), record its characteristics, and verify some of their properties. All definitions and results in this post are due to Todorcevic. … Continue reading
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
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
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