User talk:Rpakr/Cardinal Space

Has there been any progress actually defining the \(\alpha\)-weakly compact cardinals and stage cardinals? AFAIK before there were just speculations about them, but that might have changed recently. LittlePeng9 (talk) 18:04, May 1, 2018 (UTC)