scientific article; zbMATH DE number 1342214
From MaRDI portal
Publication:4263799
zbMath0934.03056MaRDI QIDQ4263799
Oleg V. Kudinov, Margarita Korovina
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Fixed Points on the Real Numbers without the Equality Test ⋮ Outline of partial computability in computable topology
This page was built for publication:
