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

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":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"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\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300013\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202300013","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","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.

求助全文

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