Archives
Keywords
Mandelbrot set Uniformly coherent Distributive tree Subtle cardinal GMA Constructible Universe P-Ideal Dichotomy Aronszajn tree Local Club Condensation. Lipschitz reduction specializable Souslin tree countably metacompact Entangled linear order regressive Souslin tree Diamond-sharp Erdos Cardinal Diamond Nonspecial tree Filter reflection Hereditarily Lindelöf space full tree Sakurai's Bell inequality polarized partition relation Monotonically far Fast club Minimal Walks Closed coloring Erdos-Hajnal graphs Shelah's Strong Hypothesis Singular cardinals combinatorics OCA Forcing xbox diamond star O-space Open Access approachability ideal Rado's conjecture projective Boolean algebra Interval topology on trees transformations Slim tree Countryman line Iterated forcing AIM forcing Souslin Tree Martin's Axiom SNR Singular Density Ineffable cardinal Uniformly homogeneous Ramsey theory over partitions Partition relations for trees stationary reflection Uniformization tensor product graph Club Guessing free Souslin tree Subadditive higher Baire space Partition Relations Rock n' Roll Was Ulam right? unbounded function weak square Well-behaved magma Dowker space Chromatic number perfectly normal Strongly Luzin set Postprocessing function indecomposable filter Precaliber Analytic sets Chang's conjecture Coherent tree Sigma-Prikry Large Cardinals strongly bounded groups Strong coloring free Boolean algebra C-sequence Kurepa Hypothesis stationary hitting Cohen real b-scale Ascent Path Absoluteness incompactness Diamond for trees Ulam matrix square principles Amenable C-sequence Generalized Clubs Square-Brackets Partition Relations Forcing Axioms Sierpinski's onto mapping principle Selective Ultrafilter sap Successor of Singular Cardinal Dushnik-Miller Prevalent singular cardinals Antichain very good scale Subnormal ideal Whitehead Problem Commutative projection system Cardinal Invariants Axiom R Singular cofinality Strongly compact cardinal PFA(S)[S] Cardinal function Poset nonmeager set L-space S-Space reflection principles Knaster Subtle tree property Almost countably chromatic Non-saturation Intersection model Almost Souslin Reflecting stationary set Rainbow sets club_AD weak diamond coloring number Parameterized proxy principle Fodor-type reflection Hindman's Theorem Universal Sequences super-Souslin tree positive partition relation Forcing with side conditions Commutative cancellative semigroups square Knaster and friends Weakly compact cardinal Successor of Regular Cardinal Vanishing levels Greatly Mahlo ccc ZFC construction Hedetniemi's conjecture Prikry-type forcing Foundations Jonsson cardinal Ascending path Ostaszewski square 54G20 Small forcing stick weak Kurepa tree Almost-disjoint family Luzin set Microscopic Approach PFA middle diamond Fat stationary set Generalized descriptive set theory Reduced Power Respecting tree HOD
Category Archives: Blog
Review: Is classical set theory compatible with quantum experiments?
Yesterday, I attended a talk at the Quantum Foundations seminar at the beautiful Perimeter Institute for Theoretical Physics (Waterloo, Ontario). The (somewhat provocative) title of the talk was “Is Classical Set Theory Compatible with Quantum Experiments?”, and the speaker was Radu … Continue reading
Comparing rectangles with squares through rainbow sets
In Todorcevic’s class last week, he proved all the results of Chapter 8 from his Walks on Ordinals book, up to (and including) Theorem 8.1.11. The upshots are as follows: Every regular infinite cardinal $\theta$ admits a naturally defined function … Continue reading
Pure logic
While traveling downtown today, I came across a sign near a local church, with a quotation of Saint-Exupéry:
Jane’s Addiction visiting Toronto
Last night, I went to see a live show by Jane’s Addiction, in downtown Toronto. Here’s a video snippet from that show which I could found on YouTube: The playlist was excellent, but there was one song which I was … Continue reading
c.c.c. vs. the Knaster property
After my previous post on Mekler’s characterization of c.c.c. notions of forcing, Sam, Mike and myself discussed the value of it . We noticed that a prevalent verification of the c.c.c. goes like this: given an uncountable set of conditions, … 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
A large cardinal in the constructible universe
In this post, we shall provide a proof of Silver’s theorem that the Erdos caridnal $\kappa(\omega)$ relativizes to Godel’s constructible universe. First, recall some definitions. Given a function $f:[\kappa]^{<\omega}\rightarrow \mu$, we say that $I\subseteq\kappa$ is a set of indiscernibles for … Continue reading
An inconsistent form of club guessing
In this post, we shall present an answer (due to P. Larson) to a question by A. Primavesi concerning a certain strong form of club guessing. We commence with recalling Shelah’s concept of club guessing. Concept (Shelah). Given a regular … Continue reading
c.c.c. forcing without combinatorics
In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing notions. Recall that a notion of forcing $\mathbb P$ is said to satisfy the c.c.c. iff … Continue reading
Dushnik-Miller for singular cardinals (part 2)
In the first post on this subject, we provided a proof of $\lambda\rightarrow(\lambda,\omega+1)^2$ for every regular uncountable cardinal $\lambda$. In the second post, we provided a proof of $\lambda\rightarrow(\lambda,\omega)^2$ for every singular cardinal $\lambda$, and showed that $\lambda\rightarrow(\lambda,\omega+1)^2$ fails for every … Continue reading
Posted in Blog, Expository
Tagged Dushnik-Miller, Partition Relations, Singular cardinals combinatorics
27 Comments
