On recursion theory in IΣ1

DOI10.2307/2274871zbMATH Open0703.03019OpenAlexW1579073671MaRDI QIDQ3481685FDOQ3481685

Petr Hájek, Antonín Kučera

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274871

Recommendations

• scientific article
• scientific article; zbMATH DE number 3995657
• \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)
• Iterated trees and fragments of arithmetic
• Σ₂-collection and the infinite injury priority method

zbMATH Keywords

low basis theoremr.e. degreefragment of first order arithmeticpriority-free solution to Post's problem

Mathematics Subject Classification ID

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

Cites Work

• Finite injury and Σ₁-induction
• Class groups of integral group rings

Cited In (9)

• Title not available (Why is that?)
• On some formalized conservation results in arithmetic
• Σ₂-collection and the infinite injury priority method
• Finite injury and Σ₁-induction
• A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$
• Title not available (Why is that?)
• The logic of \(\Pi_ 1\)-conservativity
• Iterated trees and fragments of arithmetic
• THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS

This page was built for publication: On recursion theory in IΣ₁

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