添加ω2$\omega _2$的高度通用子集

Pub Date : 2024-05-27 DOI:10.1002/malq.202300007

Rouholah Hoseini Naveh, Mohammed Golshani, Esfandiar Eslami

{"title":"添加ω2$\\omega _2$的高度通用子集","authors":"Rouholah Hoseini Naveh, Mohammed Golshani, Esfandiar Eslami","doi":"10.1002/malq.202300007","DOIUrl":null,"url":null,"abstract":"Starting from the generalized continuum hypothesis (<math>\n <semantics>\n <mi>GCH</mi>\n <annotation>$\\mathsf {GCH}$</annotation>\n </semantics></math>), we build a cardinal and <math>\n <semantics>\n <mi>GCH</mi>\n <annotation>$\\mathsf {GCH}$</annotation>\n </semantics></math> preserving generic extension of the universe, in which there exists a set <math>\n <semantics>\n <mrow>\n <mi>A</mi>\n <mo>⊆</mo>\n <msub>\n <mi>ω</mi>\n <mn>2</mn>\n </msub>\n </mrow>\n <annotation>$A \\subseteq \\omega _2$</annotation>\n </semantics></math> of size <math>\n <semantics>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n <annotation>$\\aleph _2$</annotation>\n </semantics></math> so that every countably infinite subset of <math>\n <semantics>\n <mi>A</mi>\n <annotation>$A$</annotation>\n </semantics></math> or <math>\n <semantics>\n <mrow>\n <msub>\n <mi>ω</mi>\n <mn>2</mn>\n </msub>\n <mo>∖</mo>\n <mi>A</mi>\n </mrow>\n <annotation>$\\omega _2 \\setminus A$</annotation>\n </semantics></math> is Cohen generic over the ground model.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Adding highly generic subsets of \\n \\n \\n ω\\n 2\\n \\n $\\\\omega _2$\",\"authors\":\"Rouholah Hoseini Naveh, Mohammed Golshani, Esfandiar Eslami\",\"doi\":\"10.1002/malq.202300007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Starting from the generalized continuum hypothesis (<math>\\n <semantics>\\n <mi>GCH</mi>\\n <annotation>$\\\\mathsf {GCH}$</annotation>\\n </semantics></math>), we build a cardinal and <math>\\n <semantics>\\n <mi>GCH</mi>\\n <annotation>$\\\\mathsf {GCH}$</annotation>\\n </semantics></math> preserving generic extension of the universe, in which there exists a set <math>\\n <semantics>\\n <mrow>\\n <mi>A</mi>\\n <mo>⊆</mo>\\n <msub>\\n <mi>ω</mi>\\n <mn>2</mn>\\n </msub>\\n </mrow>\\n <annotation>$A \\\\subseteq \\\\omega _2$</annotation>\\n </semantics></math> of size <math>\\n <semantics>\\n <msub>\\n <mi>ℵ</mi>\\n <mn>2</mn>\\n </msub>\\n <annotation>$\\\\aleph _2$</annotation>\\n </semantics></math> so that every countably infinite subset of <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$A$</annotation>\\n </semantics></math> or <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>ω</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>∖</mo>\\n <mi>A</mi>\\n </mrow>\\n <annotation>$\\\\omega _2 \\\\setminus A$</annotation>\\n </semantics></math> is Cohen generic over the ground model.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-05-27\",\"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.202300007\",\"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.202300007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

从广义连续统假设（）出发，我们建立了一个宇宙的有心和保全泛函扩展，其中存在一个大小为的集合，使得或的每一个可数无限子集都是地面模型上的科恩泛函。

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

查看原文

Adding highly generic subsets of ω 2 $\omega _2$

Starting from the generalized continuum hypothesis ( $GCH$ ), we build a cardinal and $GCH$ preserving generic extension of the universe, in which there exists a set $A \subseteq ω_{2}$ of size $ℵ_{2}$ so that every countably infinite subset of $A$ or $ω_{2} ∖ A$ is Cohen generic over the ground model.

求助全文

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