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