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