托马斯·斯特里彻 充满的归纳结构。 （英语） Zbl 0933.03032号 申请。类别。结构。 7，第1-2期，185-207（1999）. 摘要：本文的目的是给出一个完全逻辑的补足结构，即任意集对补足集的反映。构造逻辑中的完全集是由M.Hyland和P.Taylor独立引入的，它们是最具限制性但足够普遍的前域概念，适用于指称语义学a la Scott的目的。对于任何集合（A），它的补足（R（A））都表现为（S^2（A）等于（A到S）到S的归纳定义子集，可以用类型理论模型的内部语言来表示。更明确地说，（R（A））是包含所有“点过滤器”并在一类“广义极限过程”下闭合的（S^2（A）的最小子集。我们的构造得到了改进，因为有几个结果表明，考虑更多限制类的“广义极限过程”就足以满足满足充盈的目的。 引用于2文件 MSC公司： 03B70号 计算机科学中的逻辑 68问题55 计算理论中的语义学 03G30型 分类逻辑，拓扑 60年第68季度 规范和验证（程序逻辑、模型检查等） 03楼50 构造系统的元数学 关键词：综合领域理论;归纳定义;指称语义学;建构型理论;充满;构造逻辑;前域 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher}，应用。类别。结构。7，第1-2185-207号（1999年；Zbl 0933.03032） 全文： 内政部