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