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