Sad news: Jim Baumgartner passed away. See here.
Archives
Keywords
very good scale Commutative cancellative semigroups approachability ideal transformations Axiom R AIM forcing tensor product graph b-scale free Boolean algebra Nonspecial tree Ascending path Strongly compact cardinal Whitehead Problem O-space Martin's Axiom Slim tree coloring number Erdos Cardinal Diamond-sharp Rock n' Roll Generalized descriptive set theory Jonsson cardinal Generalized Clubs Club Guessing regressive Souslin tree weak Kurepa tree Microscopic Approach Interval topology on trees Small forcing PFA(S)[S] Postprocessing function Weakly compact cardinal Reduced Power Subnormal ideal Prevalent singular cardinals Antichain full tree weak diamond positive partition relation Uniformly coherent Forcing unbounded function Commutative projection system Respecting tree indecomposable filter Ineffable cardinal Distributive tree Absoluteness Singular cardinals combinatorics Diamond for trees countably metacompact Almost Souslin strongly bounded groups Monotonically far Subtle tree property GMA Was Ulam right? Fat stationary set nonmeager set projective Boolean algebra square Precaliber Sigma-Prikry Poset Non-saturation Local Club Condensation. Singular cofinality HOD xbox Hindman's Theorem Fast club Rainbow sets super-Souslin tree L-space Constructible Universe sap Ulam matrix Uniformization Cardinal Invariants polarized partition relation Subadditive Strongly Luzin set Universal Sequences PFA free Souslin tree Aronszajn tree Selective Ultrafilter Countryman line club_AD S-Space square principles Forcing with side conditions Chromatic number Hedetniemi's conjecture specializable Souslin tree Vanishing levels Strong coloring Coherent tree P-Ideal Dichotomy higher Baire space stationary reflection Cardinal function Mandelbrot set Dowker space Chang's conjecture Amenable C-sequence Ostaszewski square Almost countably chromatic Iterated forcing Subtle cardinal perfectly normal Large Cardinals Minimal Walks reflection principles Prikry-type forcing Dushnik-Miller Knaster and friends Knaster Closed coloring Erdos-Hajnal graphs Square-Brackets Partition Relations Analytic sets Intersection model Successor of Regular Cardinal ZFC construction Successor of Singular Cardinal Luzin set SNR Reflecting stationary set Diamond Well-behaved magma Souslin Tree Entangled linear order incompactness Kurepa Hypothesis Hereditarily Lindelöf space Fodor-type reflection weak square Greatly Mahlo Sierpinski's onto mapping principle Almost-disjoint family Lipschitz reduction Open Access Sakurai's Bell inequality 54G20 OCA Ramsey theory over partitions Ascent Path Cohen real ccc stationary hitting Foundations Uniformly homogeneous Parameterized proxy principle Forcing Axioms diamond star stick Shelah's Strong Hypothesis C-sequence Partition Relations Rado's conjecture Filter reflection Singular Density middle diamond
That’s very sad news indeed.
That is sad.
(*) I will always associate Jim with the phrase “Just Baumgartner it!”. Simon Thomas’s word for bringing in an ultrafilter, seemingly for no reason, and letting it guide your decisions.
(**) I would also like to note that Jim shares his first two names with the actor who portrayed Darth Vader.
This is very sad news indeed. The email sent around Dartmouth said that he passed away while his whole family was visiting for the holidays, so Jim was fortunate to spend his last moments surrounded by family and high spirits.
Baumgartner proved that, in contrast to (weak) square, partial square may hold at a singular cardinal (of any cofinality) above a supercomapct carinal. He also proved that after collapsing a weakly comapct cardinal to $omega_2$, every statinoary subset of $S^2_0$ reflects.
These two gems together with an additional argument shows that $square^*_{aleph_{omega_1}}$ may be introduced by a cofinality-preserving small forcing.