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