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

From MaRDI portal

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

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=%5C(%5CSigma_2%5C)_induction_and_infinite_injury_priority_arguments._II._Tame_%5C(%5CSigma_2%5C)_coding_and_the_jump_operator&oldid=70261590"