An α-finite injury method of the unbounded type

DOI10.2307/2272939zbMATH Open0358.02053OpenAlexW4238007479MaRDI QIDQ4133623FDOQ4133623

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)