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