Archives
Keywords
Ascent Path Shelah's Strong Hypothesis strongly bounded groups Knaster and friends Selective Ultrafilter sap Prikry-type forcing incompactness Whitehead Problem S-Space Was Ulam right? Rock n' Roll Axiom R Generalized Clubs Precaliber weak diamond ccc Forcing coloring number Reflecting stationary set Sigma-Prikry Erdos Cardinal Ramsey theory over partitions Fat stationary set diamond star free Souslin tree Strongly compact cardinal Greatly Mahlo full tree regressive Souslin tree Uniformly coherent Successor of Regular Cardinal O-space Hedetniemi's conjecture Cardinal Invariants Singular cardinals combinatorics Jonsson cardinal Uniformization Forcing Axioms SNR Knaster 54G20 C-sequence Singular cofinality Diamond-sharp Strong coloring Antichain indecomposable filter Commutative projection system Almost countably chromatic square Poset approachability ideal Sakurai's Bell inequality Absoluteness HOD Universal Sequences unbounded function super-Souslin tree PFA(S)[S] Closed coloring higher Baire space xbox Ostaszewski square Well-behaved magma Dushnik-Miller Fodor-type reflection Coherent tree Erdos-Hajnal graphs middle diamond Weakly compact cardinal transformations Dowker space Nonspecial tree b-scale Kurepa Hypothesis Constructible Universe Intersection model positive partition relation PFA square principles Diamond for trees Postprocessing function Subadditive Foundations Minimal Walks Almost Souslin Souslin Tree Amenable C-sequence Fast club AIM forcing Luzin set projective Boolean algebra Square-Brackets Partition Relations Non-saturation Strongly Luzin set Partition Relations stationary reflection Subtle tree property weak square Microscopic Approach Iterated forcing Mandelbrot set Diamond Uniformly homogeneous weak Kurepa tree Singular Density Generalized descriptive set theory countably metacompact Hereditarily Lindelöf space free Boolean algebra Slim tree Reduced Power stationary hitting Respecting tree Prevalent singular cardinals Ulam matrix Vanishing levels Almost-disjoint family Ineffable cardinal ZFC construction Parameterized proxy principle Rado's conjecture Lipschitz reduction reflection principles Subnormal ideal Chang's conjecture Local Club Condensation. tensor product graph Small forcing Analytic sets Successor of Singular Cardinal Chromatic number GMA Large Cardinals stick Club Guessing Cohen real OCA Aronszajn tree Sierpinski's onto mapping principle Countryman line L-space Subtle cardinal Martin's Axiom nonmeager set Distributive tree very good scale club_AD Open Access specializable Souslin tree polarized partition relation P-Ideal Dichotomy Hindman's Theorem Filter reflection Rainbow sets Cardinal function Commutative cancellative semigroups
Category Archives: Blog
Afghan Whigs on Jimmy Fallon
Performing “I’m Her Slave” (from their album Congregation) at NBC’s studios, 22-May-2012:
The chromatic numbers of the Erdos-Hajnal graphs
Recall that a coloring
Posted in Blog, Expository
Tagged Chromatic number, Erdos-Hajnal graphs, Rado's conjecture, reflection principles
13 Comments
Shelah’s approachability ideal (part 1)
Given an infinite cardinal
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
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
A large cardinal in the constructible universe
In this post, we shall provide a proof of Silver’s theorem that the Erdos caridnal