Recursion relative to regressive functions
From MaRDI portal
Publication:4767309
DOI10.1016/0003-4843(74)90002-3zbMath0281.02048MaRDI QIDQ4767309
J. C. E. Dekker, Erik Ellentuck
Publication date: 1974
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(74)90002-3
03D50: Recursive equivalence types of sets and structures, isols
Related Items