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