scientific article
From MaRDI portal
Publication:3931376
zbMath0475.03023MaRDI QIDQ3931376
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Effective inseparability in a topological setting ⋮ Unnamed Item ⋮ Computable one-to-one enumerations of effective domains ⋮ A domain-theoretic approach to computability on the real line