Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator

DOI10.2307/2586713zbMath0916.03032OpenAlexW2077368345MaRDI QIDQ4227867

Yue Yang, Chi Tat Chong

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

zbMATH Keywords

collectioninductionrecursively enumerable setsmaximal setinfinite priority argument

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25)

Related Items

\(\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. III: Prompt sets, minimal pairs and Shoenfield's conjecture

Cites Work

• The degree of a \(\Sigma_ n\) cut
• Maximal sets and fragments of Peano arithmetic
• Unnamed Item
• Unnamed Item