scientific article; zbMATH DE number 4154426

MaRDI QIDQ3483271zbMATHFDO

Authors Michael E. Mytilinaios, Marcia Groszek

Publication date 1990

zbMATH Keywords

subsystem of Peano arithmeticinduction for \(\Sigma_2\) formulasrecursively enumerable set of high, incomplete degree

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) First-order arithmetic and fragments (03F30)

Recommendations

• Σ₂ Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator
• \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
• The thickness lemma from P⁻ + IΣ₁ + ¬BΣ₂
• Σ₂-collection and the infinite injury priority method
• Publication:4946108

Cited in

(9)

• scientific article; zbMATH DE number 1421082 (Why is no real title available?)
• \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
• scientific article; zbMATH DE number 4106825 (Why is no real title available?)
• The thickness lemma from P⁻ + IΣ₁ + ¬BΣ₂
• Σ₂-collection and the infinite injury priority method
• Maximal sets and fragments of Peano arithmetic
• \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)
• Finite injury and Σ₁-induction
• \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483271)