Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator
From MaRDI portal
Publication:4227867
DOI10.2307/2586713zbMath0916.03032MaRDI QIDQ4227867
Publication date: 2 February 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586713
03F30: First-order arithmetic and fragments
03C62: Models of arithmetic and set theory
03D25: Recursively (computably) enumerable sets and degrees
Related Items
\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture, \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
Cites Work