PAK != PA(K)
PAK is the language that Benja is defining there, while PA(K) is just the Kth-level PA in the PA hierarchy.
That’s exactly right, and Will_Sawin is right about it being confusing—perhaps I should have used a more creative name for PA_K.
PAK != PA(K)
PAK is the language that Benja is defining there, while PA(K) is just the Kth-level PA in the PA hierarchy.
That’s exactly right, and Will_Sawin is right about it being confusing—perhaps I should have used a more creative name for PA_K.