Publication:3333022
From MaRDI portal
zbMath0544.03018MaRDI QIDQ3333022
Publication date: 1984
recursive functions; finite function; maximal sets; families of functions above \(R_ 1\); hyper-simple sets; priority construction
03D45: Theory of numerations, effectively presented structures
Related Items