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