Archives
Keywords
O-space sap Strongly Luzin set PFA Club Guessing stick projective Boolean algebra Singular cofinality stationary hitting Commutative cancellative semigroups HOD Large Cardinals Sakurai's Bell inequality Diamond Hereditarily Lindelöf space Uniformization Was Ulam right Mandelbrot set Fat stationary set Dowker space Rado's conjecture Reduced Power Successor of Regular Cardinal countably metacompact Coherent tree Parameterized proxy principle tensor product graph Prevalent singular cardinals Generalized descriptive set theory diamond star Subtle cardinal Sierpinski's onto mapping principle transformations full tree positive partition relation Minimal Walks Almost-disjoint family Subadditive P-Ideal Dichotomy S-Space Vanishing levels Ascent Path Knaster and friends Fast club Ineffable cardinal indecomposable ultrafilter Diamond for trees approachability ideal Precaliber Diamond-sharp free Boolean algebra specializable Souslin tree Hindman's Theorem Ostaszewski square Knaster ZFC construction strongly bounded groups Dushnik-Miller Chang's conjecture incompactness Iterated forcing Partition Relations OCA Kurepa Hypothesis Martin's Axiom Singular cardinals combinatorics weak square Cardinal function stationary reflection Almost countably chromatic SNR Subnormal ideal AIM forcing Foundations Open Access Weakly compact cardinal Cardinal Invariants unbounded function Whitehead Problem Prikry-type forcing ccc coloring number Postprocessing function Jonsson cardinal Generalized Clubs Erdos Cardinal Ramsey theory over partitions Poset Shelah's Strong Hypothesis Analytic sets Microscopic Approach very good scale L-space Amenable C-sequence polarized partition relation Ulam matrix Forcing Luzin set Lipschitz reduction club_AD Filter reflection Selective Ultrafilter nonmeager set Souslin Tree GMA square Well-behaved magma Erdos-Hajnal graphs Cohen real Distributive tree Greatly Mahlo Universal Sequences higher Baire space Aronszajn tree Local Club Condensation. Closed coloring Small forcing Successor of Singular Cardinal Almost Souslin Absoluteness weak diamond Hedetniemi's conjecture Constructible Universe C-sequence square principles Chromatic number Slim tree PFA(S)[S] Forcing Axioms Non-saturation Uniformly homogeneous reflection principles 54G20 Reflecting stationary set middle diamond Sigma-Prikry Antichain Singular Density free Souslin tree Fodor-type reflection Rock n' Roll Rainbow sets Uniformly coherent Nonspecial tree Square-Brackets Partition Relations Subtle tree property regressive Souslin tree b-scale Strong coloring super-Souslin tree Axiom R xbox
Blog Archives
A new small Dowker space
Joint work with Roy Shalev and Stevo Todorcevic. Abstract. It is proved that if there exists a Luzin set, or if either the stick principle or $\diamondsuit(\mathfrak b)$ hold, then an instance of the guessing principle $\clubsuit_{AD}$ holds at the … Continue reading
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
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
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
The S-space problem, and the cardinal invariant $\mathfrak b$
Recall that an S-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In a previous post, we showed that such a space exists after adding a Cohen real. Here, we shall construct one from an arithmetic … Continue reading
Review: Stevo Todorcevic’s CRM-Fields-PIMS Prize Lecture
After winning the 2012 CRM-Fields-PIMS Prize, Stevo Todorcevic gave a series of talks on his research: at CRM, at PIMS and at the Fields Institute. The director of the Fields Institute asked me to write a short review on Stevo’s … Continue reading
Rectangular square-bracket operation for successor of regular cardinals
Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading
Dushnik-Miller for regular cardinals (part 3)
Here is what we already know about the Dushnik-Miller theorem in the case of $\omega_1$ (given our earlier posts on the subject): $\omega_1\rightarrow(\omega_1,\omega+1)^2$ holds in ZFC; $\omega_1\rightarrow(\omega_1,\omega+2)^2$ may consistently fail; $\omega_1\rightarrow(\omega_1,\omega_1)^2$ fails in ZFC. In this post, we shall provide … Continue reading
Dushnik-Miller for regular cardinals (part 2)
In this post, we shall provide a proof of Todorcevic’s theorem, that $\mathfrak b=\omega_1$ implies $\omega_1\not\rightarrow(\omega_1,\omega+2)^2$. This will show that the Erdos-Rado theorem that we discussed in an earlier post, is consistently optimal. Our exposition of Todorcevic’s theorem would be … Continue reading
Posted in Blog, Expository
Tagged b-scale, Dushnik-Miller, Partition Relations, Square-Brackets Partition Relations
5 Comments