User talk:Alemagno12/Pi-w-reflection

How to express the least "weakly compact cardinal such that weakly compact cardinals are stationary in it" (i.e. ordinal \(\Pi_1^1\)-indescribable on ordinals and also \(\Pi_0^1\)-indescribable on \(\Pi_1^1\)-indescribable ordinals)? More generally, how to express ordinals with multiple indescribability? &#123;hyp/^,cos&#125; (talk) 14:09, September 18, 2018 (UTC)