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