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