scientific article
From MaRDI portal
Publication:3945586
zbMath0485.68041MaRDI QIDQ3945586
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complete partial ordercomputable extensional functions over namescomputable functions over cpo'snames of objectstotal number theoretic functions
Complete lattices, completions (06B23) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
This page was built for publication: