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