zbMATH — the first resource for mathematics

Intrinsically recursive relations. (English) Zbl 0467.03041
Aspects of effective algebra, Proc. Conf., Monash Univ./Aust. 1979, 26-41 (1981).

03D45 Theory of numerations, effectively presented structures
03D50 Recursive equivalence types of sets and structures, isols
03D25 Recursively (computably) enumerable sets and degrees
03D20 Recursive functions and relations, subrecursive hierarchies
03B10 Classical first-order logic