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