强不可折叠、拆分和绑定

Pub Date : 2023-05-24 DOI:10.1002/malq.202200003

Ömer Faruk Bağ, Vera Fischer

{"title":"强不可折叠、拆分和绑定","authors":"Ömer Faruk Bağ, Vera Fischer","doi":"10.1002/malq.202200003","DOIUrl":null,"url":null,"abstract":"<p>Assuming <math>\n <semantics>\n <mi>GCH</mi>\n <annotation>$\\mathsf {GCH}$</annotation>\n </semantics></math>, we show that generalized eventually narrow sequences on a strongly inaccessible cardinal κ are preserved under a one step iteration of the Hechler forcing for adding a dominating κ-real. Moreover, we show that if κ is strongly unfoldable, <math>\n <semantics>\n <mrow>\n <msup>\n <mn>2</mn>\n <mi>κ</mi>\n </msup>\n <mo>=</mo>\n <msup>\n <mi>κ</mi>\n <mo>+</mo>\n </msup>\n </mrow>\n <annotation>$2^\\kappa =\\kappa ^+$</annotation>\n </semantics></math> and λ is a regular cardinal such that <math>\n <semantics>\n <mrow>\n <msup>\n <mi>κ</mi>\n <mo>+</mo>\n </msup>\n <mo><</mo>\n <mi>λ</mi>\n </mrow>\n <annotation>$\\kappa ^+ < \\lambda$</annotation>\n </semantics></math>, then there is a set generic extension in which <math>\n <semantics>\n <mrow>\n <mi>s</mi>\n <mrow>\n <mo>(</mo>\n <mi>κ</mi>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msup>\n <mi>κ</mi>\n <mo>+</mo>\n </msup>\n <mo><</mo>\n <mi>b</mi>\n <mrow>\n <mo>(</mo>\n <mi>κ</mi>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <mi>c</mi>\n <mrow>\n <mo>(</mo>\n <mi>κ</mi>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <mi>λ</mi>\n </mrow>\n <annotation>$\\mathfrak {s}(\\kappa ) = \\kappa ^+ < \\mathfrak {b}(\\kappa ) = \\mathfrak {c}(\\kappa ) = \\lambda$</annotation>\n </semantics></math>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200003","citationCount":"0","resultStr":"{\"title\":\"Strongly unfoldable, splitting and bounding\",\"authors\":\"Ömer Faruk Bağ, Vera Fischer\",\"doi\":\"10.1002/malq.202200003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Assuming <math>\\n <semantics>\\n <mi>GCH</mi>\\n <annotation>$\\\\mathsf {GCH}$</annotation>\\n </semantics></math>, we show that generalized eventually narrow sequences on a strongly inaccessible cardinal κ are preserved under a one step iteration of the Hechler forcing for adding a dominating κ-real. Moreover, we show that if κ is strongly unfoldable, <math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mn>2</mn>\\n <mi>κ</mi>\\n </msup>\\n <mo>=</mo>\\n <msup>\\n <mi>κ</mi>\\n <mo>+</mo>\\n </msup>\\n </mrow>\\n <annotation>$2^\\\\kappa =\\\\kappa ^+$</annotation>\\n </semantics></math> and λ is a regular cardinal such that <math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>κ</mi>\\n <mo>+</mo>\\n </msup>\\n <mo><</mo>\\n <mi>λ</mi>\\n </mrow>\\n <annotation>$\\\\kappa ^+ < \\\\lambda$</annotation>\\n </semantics></math>, then there is a set generic extension in which <math>\\n <semantics>\\n <mrow>\\n <mi>s</mi>\\n <mrow>\\n <mo>(</mo>\\n <mi>κ</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msup>\\n <mi>κ</mi>\\n <mo>+</mo>\\n </msup>\\n <mo><</mo>\\n <mi>b</mi>\\n <mrow>\\n <mo>(</mo>\\n <mi>κ</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <mi>c</mi>\\n <mrow>\\n <mo>(</mo>\\n <mi>κ</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <mi>λ</mi>\\n </mrow>\\n <annotation>$\\\\mathfrak {s}(\\\\kappa ) = \\\\kappa ^+ < \\\\mathfrak {b}(\\\\kappa ) = \\\\mathfrak {c}(\\\\kappa ) = \\\\lambda$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-05-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200003\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200003\",\"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.202200003","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

假设GCH$\mathsf{GCH}$，我们证明了在强不可访问基数κ上的广义最终窄序列在Hechler强迫的一步迭代下被保留，以添加支配κ-实数。此外，我们还证明了如果κ是强不可折叠的，2κ=κ+$2^\kappa=\kappa^+$并且λ是正则基数，使得κ+<；λ$\kappa^+<；\λ$，则存在s（κ）＝κ+<；b（κ）=c（κ）=λ$\mathfrak｛s｝（\kappa）=\kappa^+<；\mathfrak｛b｝（\kappa）=\mathfrak｛c｝（\ kappa。

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

查看原文

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

Strongly unfoldable, splitting and bounding

Assuming $GCH$ , we show that generalized eventually narrow sequences on a strongly inaccessible cardinal κ are preserved under a one step iteration of the Hechler forcing for adding a dominating κ-real. Moreover, we show that if κ is strongly unfoldable, $2^{κ} = κ^{+}$ and λ is a regular cardinal such that $κ^{+} < λ$ , then there is a set generic extension in which $s (κ) = κ^{+} < b (κ) = c (κ) = λ$ .

求助全文

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