迈克尔·P·福尔曼。 持续的真理。二: 反思。 (英语) Zbl 1394.03084号 利布金,列奥尼德(编辑)等人,《逻辑、语言、信息和计算》。2013年8月20日至23日,德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39991-6/pbk)。计算机科学课堂讲稿8071153-167(2013)。 摘要:在20世纪60年代末,Dana Scott首次展示了如何将Stone Tarski对Heyting微积分的拓扑解释扩展到直觉分析模型;特别是Brouwer的连续性原理。在80年代初,我们和其他人概述了对非结构化对象的一般处理,使用层模型——从拓扑理论构建——不仅为Brouwer的非经典结论建模,还为他创建的“新数学实体”建模。这些类别模型与Scott的拓扑模型密切相关,但比其更通用。本文的主要目标是考虑迭代扩展的问题。我们可以通过重复第二个动作来获得新的见解吗?在[作者,“连续真理.I.非构造对象”,《发现逻辑研究》,数学112161-180(1984;Zbl 0575.03041号)]在佛罗伦萨的82年逻辑学术讨论会上,我们展示了连续性、局部选择和局部紧性的一般原则在带轮的总拓扑中适用于配备开盖拓扑的可分离区域类别。我们触及了迭代的问题。在这里,我们对迭代范畴扩张进行了更一般的分析,从而得出谓词分析语句的反射模式。我们还借此机会重新审视了[loc.cit.;作者和R.J.格雷森,“形式空间”,Stud.Logic Found。数学。110107–122(1982年;Zbl 0537.03040号)],并纠正其中两个长期存在的错误。关于整个系列,请参见[兹比尔1270.03021]。 引用于4文件 MSC公司: 03G30型 分类逻辑,拓扑 关键词:层模型;逻辑;直觉主义;表语的;分析;地形 引文:Zbl 0575.03041号;Zbl 0537.03040号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fourman},莱克特。注释计算。科学。8071、153--167(2013;Zbl 1394.03084) 全文: 内政部