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