\(\Sigma 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma 2\) coding and the jump operator

From MaRDI portal
(Redirected from Publication:1368581)
\(\Sigma 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma 2\) coding and the jump operator