User talk:Hyp cos/OCF vs Array Notation p2

Beating weakly compact cardinal
I think \(K\) = \(M(1;0;0)\), and \(\{1\{1,,1,,2^{,,}\}2\}\) reaches that. Googleaarex (talk) 00:31, August 3, 2017 (UTC)