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