强迫概念的性质和基本不变量的保存

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-12-04 DOI:10.1002/malq.202300013

Yushiro Aoki

{"title":"强迫概念的性质和基本不变量的保存","authors":"Yushiro Aoki","doi":"10.1002/malq.202300013","DOIUrl":null,"url":null,"abstract":"We define a property of forcing notions and show that there exists a model of its forcing axiom and the negation of the continuum hypothesis in which the Cichoń-Blass diagram of cardinal invariants is the same as in the Cohen model. As a corollary, its forcing axiom and the forcing axiom for <math>\n <semantics>\n <mi>σ</mi>\n <annotation>$\\sigma$</annotation>\n </semantics></math>-centered forcing notions are independent of each other.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 1","pages":"73-78"},"PeriodicalIF":0.4000,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A property of forcing notions and preservation of cardinal invariants\",\"authors\":\"Yushiro Aoki\",\"doi\":\"10.1002/malq.202300013\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We define a property of forcing notions and show that there exists a model of its forcing axiom and the negation of the continuum hypothesis in which the Cichoń-Blass diagram of cardinal invariants is the same as in the Cohen model. As a corollary, its forcing axiom and the forcing axiom for <math>\\n <semantics>\\n <mi>σ</mi>\\n <annotation>$\\\\sigma$</annotation>\\n </semantics></math>-centered forcing notions are independent of each other.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"70 1\",\"pages\":\"73-78\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300013\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300013","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

我们定义了强迫概念的一个性质，并证明存在一个强迫公理的模型和连续统假设的否定，其中Cichoń-Blass基本不变量图与Cohen模型中相同。作为一个推论，它的强迫公理与σ中心强迫概念的强迫公理是相互独立的。

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

查看原文本刊更多论文

A property of forcing notions and preservation of cardinal invariants

We define a property of forcing notions and show that there exists a model of its forcing axiom and the negation of the continuum hypothesis in which the Cichoń-Blass diagram of cardinal invariants is the same as in the Cohen model. As a corollary, its forcing axiom and the forcing axiom for $σ$ -centered forcing notions are independent of each other.

求助全文

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

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.