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