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