{"title":"凯托宁的问题和其他大罪","authors":"Assaf Rinot, Zhixing You, Jiachen Yuan","doi":"arxiv-2408.01547","DOIUrl":null,"url":null,"abstract":"Intersection models of generic extensions obtained from a commutative\nprojection systems of notions of forcing has recently regained interest,\nespecially in the study of descriptive set theory. Here, we show that it\nprovides a fruitful framework that opens the door to solving some open problems\nconcerning compactness principles of small cardinals. To exemplify, from\nsuitable assumptions, we construct intersection models satisfying ZFC and any\nof the following: 1. There is a weakly compact cardinal $\\kappa$ carrying an indecomposable\nultrafilter, yet $\\kappa$ is not measurable. This answers a question of Ketonen\nfrom the late 1970's. 2. For proper class many cardinals $\\lambda$, the least $\\lambda$-strongly\ncompact cardinal is singular. This answers a question of Bagaria and Magidor\nwho asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a\nsingular cardinal. This answers a question of Lambie-Hanson and the first\nauthor.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Ketonen's question and other cardinal sins\",\"authors\":\"Assaf Rinot, Zhixing You, Jiachen Yuan\",\"doi\":\"arxiv-2408.01547\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Intersection models of generic extensions obtained from a commutative\\nprojection systems of notions of forcing has recently regained interest,\\nespecially in the study of descriptive set theory. Here, we show that it\\nprovides a fruitful framework that opens the door to solving some open problems\\nconcerning compactness principles of small cardinals. To exemplify, from\\nsuitable assumptions, we construct intersection models satisfying ZFC and any\\nof the following: 1. There is a weakly compact cardinal $\\\\kappa$ carrying an indecomposable\\nultrafilter, yet $\\\\kappa$ is not measurable. This answers a question of Ketonen\\nfrom the late 1970's. 2. For proper class many cardinals $\\\\lambda$, the least $\\\\lambda$-strongly\\ncompact cardinal is singular. This answers a question of Bagaria and Magidor\\nwho asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a\\nsingular cardinal. This answers a question of Lambie-Hanson and the first\\nauthor.\",\"PeriodicalId\":501306,\"journal\":{\"name\":\"arXiv - MATH - Logic\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-08-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2408.01547\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.01547","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Intersection models of generic extensions obtained from a commutative
projection systems of notions of forcing has recently regained interest,
especially in the study of descriptive set theory. Here, we show that it
provides a fruitful framework that opens the door to solving some open problems
concerning compactness principles of small cardinals. To exemplify, from
suitable assumptions, we construct intersection models satisfying ZFC and any
of the following: 1. There is a weakly compact cardinal $\kappa$ carrying an indecomposable
ultrafilter, yet $\kappa$ is not measurable. This answers a question of Ketonen
from the late 1970's. 2. For proper class many cardinals $\lambda$, the least $\lambda$-strongly
compact cardinal is singular. This answers a question of Bagaria and Magidor
who asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a
singular cardinal. This answers a question of Lambie-Hanson and the first
author.