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