Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner
{"title":"p点集合的下界","authors":"Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner","doi":"10.1215/00294527-2023-0009","DOIUrl":null,"url":null,"abstract":"We show that $\\mathrm{MA}_{\\kappa}$ implies that each collection of ${P}_{\\mathfrak c}$-points of size at most $\\kappa$ which has a $P_{\\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\\mathfrak c}$-point as an $RK$ lower bound.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Lower Bounds of Sets of P-points\",\"authors\":\"Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner\",\"doi\":\"10.1215/00294527-2023-0009\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show that $\\\\mathrm{MA}_{\\\\kappa}$ implies that each collection of ${P}_{\\\\mathfrak c}$-points of size at most $\\\\kappa$ which has a $P_{\\\\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\\\\mathfrak c}$-point as an $RK$ lower bound.\",\"PeriodicalId\":51259,\"journal\":{\"name\":\"Notre Dame Journal of Formal Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Notre Dame Journal of Formal Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1215/00294527-2023-0009\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Notre Dame Journal of Formal Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1215/00294527-2023-0009","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}
We show that $\mathrm{MA}_{\kappa}$ implies that each collection of ${P}_{\mathfrak c}$-points of size at most $\kappa$ which has a $P_{\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\mathfrak c}$-point as an $RK$ lower bound.
期刊介绍:
The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.