拓扑Beth模型及其在高类型泛函中的应用

IF 0.3 Q4 MATHEMATICS Jordan Journal of Mathematics and Statistics Pub Date : 2020-10-14 DOI:10.3844/jmssp.2020.212.223

F. Kachapova

{"title":"拓扑Beth模型及其在高类型泛函中的应用","authors":"F. Kachapova","doi":"10.3844/jmssp.2020.212.223","DOIUrl":null,"url":null,"abstract":"Based on the deﬁnition of Beth-Kripke model by Dragalin, we describe Beth model from the topological point of view. We show the relation of the topological deﬁnition with more traditional relational deﬁnition of Beth model that is based on forcing. We apply the topological deﬁnition to construct a Beth model for a theory of intuitionistic functionals of high types and to prove its consistency","PeriodicalId":41981,"journal":{"name":"Jordan Journal of Mathematics and Statistics","volume":"56 1","pages":"212-223"},"PeriodicalIF":0.3000,"publicationDate":"2020-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Topological Beth Model and its Application to Functionals of High Types\",\"authors\":\"F. Kachapova\",\"doi\":\"10.3844/jmssp.2020.212.223\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Based on the deﬁnition of Beth-Kripke model by Dragalin, we describe Beth model from the topological point of view. We show the relation of the topological deﬁnition with more traditional relational deﬁnition of Beth model that is based on forcing. We apply the topological deﬁnition to construct a Beth model for a theory of intuitionistic functionals of high types and to prove its consistency\",\"PeriodicalId\":41981,\"journal\":{\"name\":\"Jordan Journal of Mathematics and Statistics\",\"volume\":\"56 1\",\"pages\":\"212-223\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2020-10-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Jordan Journal of Mathematics and Statistics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3844/jmssp.2020.212.223\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Jordan Journal of Mathematics and Statistics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3844/jmssp.2020.212.223","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

在Dragalin对Beth- kripke模型定义的基础上，从拓扑的角度对Beth模型进行了描述。我们展示了拓扑定义与基于强迫的Beth模型更传统的关系定义之间的关系。本文应用拓扑定义构造了高类型直觉泛函理论的Beth模型，并证明了该模型的一致性

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Topological Beth Model and its Application to Functionals of High Types

Based on the deﬁnition of Beth-Kripke model by Dragalin, we describe Beth model from the topological point of view. We show the relation of the topological deﬁnition with more traditional relational deﬁnition of Beth model that is based on forcing. We apply the topological deﬁnition to construct a Beth model for a theory of intuitionistic functionals of high types and to prove its consistency

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Jordan Journal of Mathematics and Statistics MATHEMATICS-

CiteScore

0.70

自引率

33.30%

发文量