An α-finite injury method of the unbounded type

DOI10.2307/2272939zbMath0358.02053OpenAlexW4238007479MaRDI QIDQ4133623

No author found.

Publication date: 1976

Published in: The 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)

Related Items (1)

On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics

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