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