scientific article; zbMATH DE number 4154426

zbMATH Open0704.03024MaRDI QIDQ3483271FDOQ3483271

Authors: Michael E. Mytilinaios, Marcia Groszek 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• Maximal sets and fragments of Peano arithmetic
• Σ₂-collection and the infinite injury priority method
• Finite injury and Σ₁-induction
• The thickness lemma from P⁻ + IΣ₁ + ¬BΣ₂
• \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)
• Title not available (Why is that?)
• \(\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)