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