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