范·达伦（D.van Dalen）。;H·穆德。;克拉布，E.C.W。;维瑟，A。 HA的有限Kripke模型是局部PA。 （英语） Zbl 0632.03048号 圣母院J.形式逻辑 27, 528-532 (1986). 在Heyting算法的Kripke模型中，节点携带Peano算法（子系统）的经典模型。目前尚不清楚这些局部模型的一般理论是什么。本文建立了有限Kripke模型中的局部模型是完全Peano算法的模型。本文使用的方法是弗里德曼翻译的模型理论版本[H.弗里德曼，莱克特。数学笔记。669, 21-27 (1978;Zbl 0396.03045号)]. 引用于三评论引用于6文件 MSC公司： 03楼55 直觉数学 30楼03号 一阶算法和片段 关键词：海廷算法;皮亚诺算术;本地模型;有限克里普克模型 引文：兹伯利0396.03045 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen}等人，圣母院J.形式逻辑27，528--532（1986；Zbl 0632.03048） 全文： 内政部