An α-finite injury method of the unbounded type

DOI10.2307/2272939MaRDI QIDQ4133623zbMATH OpenOpenAlexFDO

Authors

Publication date 1976

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

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• Priority constructions
• Tabular degrees in \(\alpha\)-recursion theory
• Σ₂-collection and the infinite injury priority method
• scientific article; zbMATH DE number 4150148
• Finite injury and Σ₁-induction

Cited in

(4)

• scientific article; zbMATH DE number 3959412 (Why is no real title available?)
• scientific article; zbMATH DE number 4150148 (Why is no real title available?)
• Pairs of recursive structures
• On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics

This page was built for publication: An α-finite injury method of the unbounded type

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