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