巴鲁什，伊曼茨;罗伯特·伍德罗 Kripke-Joyal语义的一个归约定理：对任意范畴的强制总是可以被对完整Heyting代数的强制所取代。 （英文） Zbl 1301.03033号 日志。Univers大学。 7，第3期，323-334（2013）. 作者从Kripke-Joyal模型开始（\mathcal｛a｝=\langle\mathbb｛C｝，\mathrm｛Cov｝，F，\Vdash\rangle）。取（mathbb{C}）上的cribles集合，得到一个完整的Heyting代数。他们为（上划线{mathbb{C}}）、一个层（上划线}F}）和一个强迫（上划线）定义了一个前拓扑。他们得到了一个Kripke-Joyal模型\（\overline｛\mathcal｛a｝｝＝\langle\overline｛\mathbb｛C｝｝、\overline｛\mathrm｛Cov｝｝、\overline｛F｝、\overline｛\Vdash｝\rangle），该模型强制使用与\（\mathcal｛a｝\）完全相同的良好公式。因此，对任意范畴的强制总是可以被对完整Heyting代数的强制所取代。审核人：马丁·韦斯（波茨坦） MSC公司： 03C25号 模型理论强迫 关键词：强制;海廷代数;克里普克-乔亚尔语义 PDF格式BibTeX公司 XML格式引用 \textit{I.Barušs}和\textit{R.Woodrow}，Log。Univers大学。7，第3号，323--334（2013；Zbl 1301.03033） 全文： 内政部 参考文献： [1] Goldblatt，R.：《托波伊：逻辑的分类分析》，《逻辑研究与数学基础》第98卷。North-Holland Publishing Company，阿姆斯特丹，纽约，牛津（1979）·Zbl 0434.03050号 [2] Kock，A.，Reyes，G.E.：范畴逻辑中的学说。收录于：Barwise，J.（编辑）《数理逻辑手册》，摘自《逻辑研究与数学基础》系列，第283-313页。North-Holland Publishing Company，阿姆斯特丹，纽约，牛津（1977） [3] 格雷森·R·J：在没有权力设置的直觉主义系统中强制。《符号逻辑杂志》48（3），670-682（1983）·Zbl 0595.03056号 ·doi:10.2307/2273459 [4] 什切德罗夫，A.：《托波伊的强迫和分类》，《美国数学学会回忆录》第295期。美国数学学会，普罗维登斯（1984）·Zbl 0536.03048号 [5] Lambek J.，Scott P.J.：《高阶范畴逻辑导论》，《剑桥高等数学研究》系列第7期。剑桥大学出版社，剑桥（1986）·兹比尔0596.03002 [6] Mac Lane S.，Moerdijk I.：《几何和逻辑中的滑轮：拓朴理论的首次介绍》。施普林格，纽约（1992）·Zbl 0822.18001号 [7] 休伯·戴森V.：哥德尔定理：形式化手册。B.G.Teubner Verlagsgesellschaft，斯图加特（1991）·兹比尔0731.03001 [8] Barušs，I.：在拓扑理论框架中对科恩强迫的检验。加拿大阿尔伯塔省卡尔加里市卡尔加里大学数学和统计系硕士论文 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。