Publication:3669397
From MaRDI portal
zbMath0519.03035MaRDI QIDQ3669397
Publication date: 1982
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures
Related Items
Sound, totally sound, and unsound recursive equivalence types, First-order theories of abstract dependence relations, Trivial pursuit: remarks on the main gap, Dependence systems with the operator-image exchange property, Dependency relations