{"title":"小红雀的全苏树林","authors":"Assaf Rinot, Shira Yadai, Zhixing You","doi":"10.1112/jlms.12957","DOIUrl":null,"url":null,"abstract":"<p>A <span></span><math>\n <semantics>\n <mi>κ</mi>\n <annotation>$\\kappa$</annotation>\n </semantics></math>-tree is <i>full</i> if each of its limit levels omits no more than one potential branch. Kunen asked whether a full <span></span><math>\n <semantics>\n <mi>κ</mi>\n <annotation>$\\kappa$</annotation>\n </semantics></math>-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal <span></span><math>\n <semantics>\n <mi>κ</mi>\n <annotation>$\\kappa $</annotation>\n </semantics></math>. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be <span></span><math>\n <semantics>\n <msub>\n <mi>ℵ</mi>\n <mn>3</mn>\n </msub>\n <annotation>$\\aleph _3$</annotation>\n </semantics></math> many full <span></span><math>\n <semantics>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n <annotation>$\\aleph _2$</annotation>\n </semantics></math>-trees such that the product of any countably many of them is an <span></span><math>\n <semantics>\n <msub>\n <mi>ℵ</mi>\n <mn>2</mn>\n </msub>\n <annotation>$\\aleph _2$</annotation>\n </semantics></math>-Souslin tree.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"110 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12957","citationCount":"0","resultStr":"{\"title\":\"Full Souslin trees at small cardinals\",\"authors\":\"Assaf Rinot, Shira Yadai, Zhixing You\",\"doi\":\"10.1112/jlms.12957\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A <span></span><math>\\n <semantics>\\n <mi>κ</mi>\\n <annotation>$\\\\kappa$</annotation>\\n </semantics></math>-tree is <i>full</i> if each of its limit levels omits no more than one potential branch. Kunen asked whether a full <span></span><math>\\n <semantics>\\n <mi>κ</mi>\\n <annotation>$\\\\kappa$</annotation>\\n </semantics></math>-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal <span></span><math>\\n <semantics>\\n <mi>κ</mi>\\n <annotation>$\\\\kappa $</annotation>\\n </semantics></math>. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be <span></span><math>\\n <semantics>\\n <msub>\\n <mi>ℵ</mi>\\n <mn>3</mn>\\n </msub>\\n <annotation>$\\\\aleph _3$</annotation>\\n </semantics></math> many full <span></span><math>\\n <semantics>\\n <msub>\\n <mi>ℵ</mi>\\n <mn>2</mn>\\n </msub>\\n <annotation>$\\\\aleph _2$</annotation>\\n </semantics></math>-trees such that the product of any countably many of them is an <span></span><math>\\n <semantics>\\n <msub>\\n <mi>ℵ</mi>\\n <mn>2</mn>\\n </msub>\\n <annotation>$\\\\aleph _2$</annotation>\\n </semantics></math>-Souslin tree.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":\"110 1\",\"pages\":\"\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12957\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/jlms.12957\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.12957","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
A -tree is full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full -Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal . Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be many full -trees such that the product of any countably many of them is an -Souslin tree.
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.