Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in
ZF
$\mathsf {ZF}$
”, https://doi.org/10.1002/malq.202300024
{"title":"Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in \n \n ZF\n $\\mathsf {ZF}$\n ”, https://doi.org/10.1002/malq.202300024","authors":"","doi":"10.1002/malq.202430002","DOIUrl":null,"url":null,"abstract":"<p>The numbers of corollaries and propositions in the proof of Theorem 3.8 on p. 260 in the article <i>Implications of Ramsey Choice principles in</i> <span></span><math>\n <semantics>\n <mi>ZF</mi>\n <annotation>$\\mathsf {ZF}$</annotation>\n </semantics></math> by Lorenz Halbeisen, Riccardo Plati, and Saharon Shelah (doi: 10.1002/malq.202300024) are incorrect. The correct numbers are given here:</p><p>August 2024</p><p>The MLQ Editorial Office</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 3","pages":"356"},"PeriodicalIF":0.4000,"publicationDate":"2024-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202430002","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202430002","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}
引用次数: 0
Abstract
The numbers of corollaries and propositions in the proof of Theorem 3.8 on p. 260 in the article Implications of Ramsey Choice principles in by Lorenz Halbeisen, Riccardo Plati, and Saharon Shelah (doi: 10.1002/malq.202300024) are incorrect. The correct numbers are given here:
期刊介绍:
Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.