Archives
Keywords
unbounded function Chromatic number perfectly normal nonmeager set Ascent Path Prevalent singular cardinals Uniformization Rock n' Roll stationary reflection Small forcing Successor of Singular Cardinal Knaster Was Ulam right? ccc Dushnik-Miller free Souslin tree Knaster and friends Cohen real weak square polarized partition relation very good scale Shelah's Strong Hypothesis Minimal Walks sap Respecting tree Partition Relations P-Ideal Dichotomy Diamond-sharp Rado's conjecture Universal Sequences Whitehead Problem Reflecting stationary set Partition relations for trees Fast club Vanishing levels Monotonically far b-scale regressive Souslin tree specializable Souslin tree Almost countably chromatic Jonsson cardinal Strong coloring Cardinal function L-space super-Souslin tree PFA(S)[S] Analytic sets incompactness Open Access Forcing Axioms weak Kurepa tree countably metacompact Almost Souslin square Ascending path Antichain Commutative projection system Singular cofinality Fodor-type reflection Rainbow sets transformations Kurepa Hypothesis free Boolean algebra Local Club Condensation. Singular cardinals combinatorics Fat stationary set Diamond Prikry-type forcing Generalized Clubs Subtle cardinal Strongly compact cardinal Lipschitz reduction Souslin Tree Aronszajn tree Coherent tree stationary hitting O-space ZFC construction Strongly Luzin set Club Guessing Generalized descriptive set theory Nonspecial tree diamond star positive partition relation Uniformly coherent Sigma-Prikry Cardinal Invariants xbox Ostaszewski square stick Amenable C-sequence indecomposable filter Subadditive Postprocessing function Non-saturation Chang's conjecture Intersection model Dowker space Filter reflection SNR Ramsey theory over partitions Foundations Iterated forcing Distributive tree Sakurai's Bell inequality Hindman's Theorem Erdos Cardinal Ulam matrix Commutative cancellative semigroups Almost-disjoint family Forcing S-Space approachability ideal projective Boolean algebra Erdos-Hajnal graphs middle diamond Parameterized proxy principle strongly bounded groups Slim tree tensor product graph Selective Ultrafilter Reduced Power Constructible Universe higher Baire space Square-Brackets Partition Relations square principles full tree Ineffable cardinal Countryman line Forcing with side conditions club_AD Luzin set Microscopic Approach OCA Well-behaved magma Greatly Mahlo Martin's Axiom Large Cardinals Singular Density Closed coloring GMA coloring number Absoluteness AIM forcing Interval topology on trees Hereditarily Lindelöf space Subnormal ideal Diamond for trees PFA Subtle tree property reflection principles Precaliber Poset Uniformly homogeneous 54G20 Weakly compact cardinal Axiom R Mandelbrot set Hedetniemi's conjecture C-sequence HOD weak diamond Successor of Regular Cardinal Entangled linear order Sierpinski's onto mapping principle
Category Archives: Blog
A strong form of König’s lemma
A student proposed to me the following strong form of König’s lemma: Conjecture. Suppose that $G=(V,E)$ is a countable a graph, and there is a partition of $V$ into countably many pieces $V=\bigcup_{n<\omega}V_n$, such that: for all $n<\omega$, $V_n$ is … Continue reading
Posted in Blog
2 Comments
Prikry forcing may add a Souslin tree
A celebrated theorem of Shelah states that adding a Cohen real introduces a Souslin tree. Are there any other examples of notions of forcing that add a $\kappa$-Souslin tree? and why is this of interest? My motivation comes from a … Continue reading
The reflection principle $R_2$
A few years ago, in this paper, I introduced the following reflection principle: Definition. $R_2(\theta,\kappa)$ asserts that for every function $f:E^\theta_{<\kappa}\rightarrow\kappa$, there exists some $j<\kappa$ for which the following set is nonstationary: $$A_j:=\{\delta\in E^\theta_\kappa\mid f^{-1}[j]\cap\delta\text{ is nonstationary}\}.$$ I wrote there … Continue reading
Posted in Blog
Tagged reflection principles, square, stationary reflection, Weakly compact cardinal
Comments Off on The reflection principle $R_2$
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
Posted in Blog, Expository
Tagged ccc, Forcing Axioms, GMA, Martin's Axiom, Uniformization
Leave a comment
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
