安德烈·鲍尔;詹斯·布兰克 经典代数的规范有效子代数作为构造度量补足。 （英语） Zbl 1247.03090号 Bauer，Andrej（编辑）等人，第六届分析中的可计算性和复杂性国际会议（CCA'09）。国际会议记录，2009年8月18日至22日，斯洛文尼亚卢布尔雅那。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-12-5）。OASIcs–《信息学》中的OpenAccess系列11、12页，仅电子版（2009年）。 摘要：我们证明了关于经典代数有效子代数唯一存在的一般定理。这些定理是构造数学框架内度量空间完备性的标准事实的结果，在可实现性模型中得到了适当的解释。我们使用一般的可实现性模型，而不是使用特定的计算模型。因此，所有结果都适用于各种已建立的可计算性流派，如类型1和类型2有效性、域表示、平衡空间等。关于整个系列，请参见[Zbl 1247.68008号]. 引用于1文件 MSC公司： 03D45号 计算理论，有效呈现结构 03英尺60英寸 构造性和递归分析 关键词：有效代数;可实现性;构造度量空间 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{J.Blank}，OASIcs--OpenAccess服务器。通知。第11、12页（2009年；Zbl 1247.03090） 全文： 内政部