Σ2-collection and the infinite injury priority method
From MaRDI portal
Publication:3787994
Recommendations
- scientific article; zbMATH DE number 4150148
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
- scientific article; zbMATH DE number 4154426
- Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator
- On recursion theory in IΣ1
Cited in
(14)- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)
- Splitting theorems in recursion theory
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
- Hyperhypersimple sets and \(\Delta _ 2\) systems
- Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
- scientific article; zbMATH DE number 4150148 (Why is no real title available?)
- On recursion theory in IΣ1
- scientific article; zbMATH DE number 4154426 (Why is no real title available?)
- An α-finite injury method of the unbounded type
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
- 1994–1995 Winter Meeting of the Association for Symbolic Logic
- \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture
- The minimal e-degree problem in fragments of Peano arithmetic
- The degree of a \(\Sigma_ n\) cut
This page was built for publication: Σ2-collection and the infinite injury priority method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787994)
