Archives
Keywords
ZFC construction Fodor-type reflection Fast club reflection principles Non-saturation Cohen real free Souslin tree specializable Souslin tree Shelah's Strong Hypothesis Luzin set Erdos Cardinal SNR Antichain Precaliber GMA Uniformly coherent indecomposable ultrafilter Subadditive Strongly Luzin set Local Club Condensation. Rado's conjecture Aronszajn tree square principles Kurepa Hypothesis nonmeager set Commutative cancellative semigroups full tree OCA b-scale square tensor product graph Rock n' Roll Forcing Axioms Coherent tree Uniformly homogeneous Jonsson cardinal O-space free Boolean algebra Diamond-sharp Cardinal function club_AD Greatly Mahlo C-sequence Absoluteness Foundations Almost-disjoint family Square-Brackets Partition Relations Diamond for trees middle diamond Uniformization Chang's conjecture xbox Filter reflection super-Souslin tree Analytic sets Almost Souslin diamond star Chromatic number Ascent Path Hedetniemi's conjecture Small forcing Reflecting stationary set Slim tree Axiom R Ulam matrix Singular cofinality Fat stationary set Open Access Knaster Souslin Tree Singular cardinals combinatorics Universal Sequences approachability ideal sap Mandelbrot set countably metacompact higher Baire space Large Cardinals polarized partition relation Rainbow sets Distributive tree Ineffable cardinal strongly bounded groups weak Kurepa tree Well-behaved magma weak diamond ccc Almost countably chromatic coloring number Reduced Power Poset Was Ulam right Club Guessing stationary reflection Prikry-type forcing Iterated forcing stick Parameterized proxy principle unbounded function Amenable C-sequence P-Ideal Dichotomy Hereditarily Lindelöf space Dowker space Martin's Axiom Ostaszewski square Vanishing levels Sakurai's Bell inequality PFA(S)[S] Dushnik-Miller positive partition relation Singular Density Sigma-Prikry Successor of Regular Cardinal Microscopic Approach incompactness Forcing Subtle tree property Knaster and friends Postprocessing function Sierpinski's onto mapping principle Lipschitz reduction Generalized descriptive set theory Constructible Universe Cardinal Invariants Successor of Singular Cardinal Subnormal ideal transformations L-space Erdos-Hajnal graphs regressive Souslin tree 54G20 Generalized Clubs S-Space Ramsey theory over partitions Hindman's Theorem Minimal Walks Whitehead Problem very good scale PFA Diamond Closed coloring Nonspecial tree Selective Ultrafilter Prevalent singular cardinals stationary hitting Partition Relations Strong coloring weak square HOD Weakly compact cardinal AIM forcing Subtle cardinal projective Boolean algebra
Category Archives: Blog
What’s next?
I took an offer for a tenure-track position at the Mathematics department of Bar-Ilan University.
Posted in Blog
13 Comments
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
Prikry Forcing
Recall that the chromatic number of a (symmetric) graph $(G,E)$, denoted $\text{Chr}(G,E)$, is the least (possible finite) cardinal $\kappa$, for which there exists a coloring $c:G\rightarrow\kappa$ such that $gEh$ entails $c(g)\neq c(h)$. Given a forcing notion $\mathbb P$, it is … Continue reading
Shelah’s approachability ideal (part 2)
In a previous post, we defined Shelah’s approachability ideal $I[\lambda]$. We remind the reader that a subset $S\subseteq\lambda$ is in $I[\lambda]$ iff there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$ such that for club many $\delta\in S$, the union … Continue reading
Posted in Blog, Expository, Open Problems
Tagged approachability ideal, Club Guessing
Leave a comment
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 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