斯托尔滕贝格·汉森，V。;J.V.塔克。 作为域完成局部环。 （英语） Zbl 0662.0304号 J.塞姆。日志。 53，第2期，603-624（1988）. 有效拓扑结构A的拓扑完成（A）几乎总是不可计算的。但研究由A的可计算元素（在某种意义上）组成的可数子结构是可能的。本文通过自然地使用Scott-Ershov有效域的概念，对局部环进行了这一研究。作者为任何可计算局部环R定义了一个结构域D（R）及其由可计算元素组成的子域D（R{}_k\）。他们证明了D（R）（{}_k）是可计算的，当R是Artinian环时。审核人：A.S.莫罗佐夫 引用于18文件 MSC公司： 03D45号 计算理论，有效呈现结构 关键词：可计算环;完成;局部环;Scott-Ershov有效域;阿提尼亚环 PDF格式BibTeX公司 XML格式引用 \textit{V.Stoltenberg-Hansen}和textit{J.V.Tucker}，J.Symb。日志。53，第2号，603--624（1988；Zbl 0662.03040） 全文： 内政部