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