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