A maximal sequence of classes transformable by primitive recursion in a given class
From MaRDI portal
Publication:1147129
DOI10.1007/BF01404100zbMath0449.03032OpenAlexW2039485671MaRDI QIDQ1147129
Publication date: 1981
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01404100
Cites Work
This page was built for publication: A maximal sequence of classes transformable by primitive recursion in a given class