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