scientific article; zbMATH DE number 3305000
From MaRDI portal
Publication:5586303
zbMath0192.05605MaRDI QIDQ5586303
Yuri L. Ershov, Michael A. Taitslin
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The structure of the honest polynomial m-degrees, Undecidability and 1-types in the recursively enumerable degrees, The undecidability of the elementary theory of lattices of all equational theories of large signature, Undecidability and 1-types in intervals of the computably enumerable degrees
