\(\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
\(\Sigma 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma 2\) coding and the jump operator
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.