Archives
Keywords
Jonsson cardinal Sierpinski's onto mapping principle Commutative projection system Ineffable cardinal ZFC construction Non-saturation square Shelah's Strong Hypothesis SNR Iterated forcing Interval topology on trees Entangled linear order Amenable C-sequence Almost-disjoint family HOD Nonspecial tree L-space Selective Ultrafilter Uniformly homogeneous Greatly Mahlo Generalized Clubs Whitehead Problem Almost Souslin tensor product graph Well-behaved magma Filter reflection Subadditive Hereditarily Lindelöf space Reflecting stationary set perfectly normal stationary hitting middle diamond PFA(S)[S] Minimal Walks Subtle tree property ccc Subtle cardinal O-space countably metacompact weak Kurepa tree Chromatic number GMA Generalized descriptive set theory Slim tree regressive Souslin tree Vanishing levels Club Guessing Mandelbrot set Diamond positive partition relation Knaster and friends Partition Relations Cohen real Erdos Cardinal Constructible Universe diamond star Reduced Power indecomposable filter Successor of Regular Cardinal higher Baire space weak square Luzin set b-scale Poset Strong coloring Countryman line club_AD xbox Sakurai's Bell inequality reflection principles transformations Diamond-sharp Universal Sequences Hindman's Theorem Chang's conjecture Singular Density Rainbow sets Prevalent singular cardinals 54G20 Uniformization Axiom R Ostaszewski square Absoluteness AIM forcing stick Singular cofinality PFA specializable Souslin tree Forcing Monotonically far full tree Precaliber Martin's Axiom projective Boolean algebra OCA sap Partition relations for trees Parameterized proxy principle Subnormal ideal Forcing Axioms Foundations Diamond for trees Rock n' Roll Souslin Tree nonmeager set Hedetniemi's conjecture free Boolean algebra Weakly compact cardinal Successor of Singular Cardinal stationary reflection Fodor-type reflection Almost countably chromatic C-sequence Closed coloring Cardinal function Kurepa Hypothesis Antichain Square-Brackets Partition Relations square principles Respecting tree Distributive tree Small forcing Postprocessing function super-Souslin tree free Souslin tree Was Ulam right? Rado's conjecture Aronszajn tree Open Access approachability ideal Dowker space Ascending path Analytic sets coloring number Intersection model Local Club Condensation. Cardinal Invariants Dushnik-Miller Commutative cancellative semigroups Prikry-type forcing S-Space Ramsey theory over partitions Coherent tree weak diamond P-Ideal Dichotomy Sigma-Prikry Uniformly coherent incompactness Lipschitz reduction Strongly compact cardinal Microscopic Approach unbounded function Strongly Luzin set Fat stationary set very good scale Large Cardinals Forcing with side conditions Erdos-Hajnal graphs Singular cardinals combinatorics Fast club Ascent Path polarized partition relation Knaster Ulam matrix strongly bounded groups
Category Archives: Blog
The uniformization property for $\aleph_2$
Given a subset of a regular uncountable cardinal $S\subseteq\kappa$, $UP_S$ (read: “the uniformization property holds for $S$”) asserts that for every sequence $\overrightarrow f=\langle f_\alpha\mid \alpha\in S\rangle$ satisfying for all $\alpha\in S$: $f_\alpha$ is a 2-valued function; $\text{dom}(f_\alpha)$ is a … Continue reading
The Engelking-Karlowicz theorem, and a useful corollary
Theorem (Engelking-Karlowicz, 1965). For cardinals $\kappa\le\lambda\le\mu\le 2^\lambda$, the following are equivalent: $\lambda^{<\kappa}=\lambda$; there exists a collection of functions, $\langle f_i:\mu\rightarrow\lambda\mid i<\lambda\rangle$, such that for every $X\in[\mu]^{<\kappa}$ and every function $f:X\rightarrow\lambda$, there exists some $i<\lambda$ with $f\subseteq f_i$. Proof. (2)$\Rightarrow$(1) Suppose … Continue reading
Kurepa trees and ineffable cardinals
Recall that $T$ is said to be a $\kappa$-Kurepa tree if $T$ is a tree of height $\kappa$, whose levels $T_\alpha$ has size $\le|\alpha|$ for co-boundedly many $\alpha<\kappa$, and such that the set of branches of $T$ has size $>\kappa$. … Continue reading
Variations on diamond
Jensen’s diamond principle has many equivalent forms. The translation between these forms is often straight-forward, but there is one form whose equivalence to the usual form is somewhat surprising, and Devlin’s translation from one to the other, seems a little … Continue reading
The P-Ideal Dichotomy and the Souslin Hypothesis
John Krueger is visiting Toronto these days, and in a conversation today, we asked ourselves how do one prove the Abraham-Todorcevic theorem that PID implies SH. Namely, that the next statement implies that there are no Souslin trees: Definition. The … Continue reading
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 $c:G\rightarrow\kappa$ of an (undirected) graph $(G,E)$ is said to be chromatic if $c(v_1)\neq c(v_2)$ whenever $\{v_1,v_2\}\in E$. Then, the chromatic number of a graph $(G,E)$ is the least cardinal $\kappa$ for which there exists a chromatic … Continue reading
Posted in Blog, Expository
Tagged Chromatic number, Erdos-Hajnal graphs, Rado's conjecture, reflection principles
14 Comments
Shelah’s approachability ideal (part 1)
Given an infinite cardinal $\lambda$, Shelah defines an ideal $I[\lambda]$ as follows. Definition (Shelah, implicit in here). A set $S$ is in $I[\lambda]$ iff $S\subseteq\lambda$ and there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$, and some club $E\subseteq\lambda$, so … Continue reading
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
