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