Relativized Cylindrification
From MaRDI portal
Publication:3309823
DOI10.1002/MALQ.19820280805zbMath0528.03024OpenAlexW4251945546MaRDI QIDQ3309823
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820280805
Recursive functions and relations, subrecursive hierarchies (03D20) Recursive equivalence types of sets and structures, isols (03D50)
This page was built for publication: Relativized Cylindrification