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