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