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