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