On the deductive strength of the Erdős–Dushnik–Miller theorem and two order-theoretic principles

Eleftherios Tachtsis
{"title":"On the deductive strength of the Erdős–Dushnik–Miller theorem and two order-theoretic principles","authors":"Eleftherios Tachtsis","doi":"10.1007/s00605-023-01933-z","DOIUrl":null,"url":null,"abstract":"<p>We provide answers to open questions from Banerjee and Gopaulsingh (Bull Pol Acad Sci Math 71: 1–21, 2023) about the relationship between the Erdős–Dushnik–Miller theorem (<span>\\(\\textsf{EDM}\\)</span>) and certain weaker forms of the Axiom of Choice (<span>\\(\\textsf{AC}\\)</span>), and we properly strengthen some results from Banerjee and Gopaulsingh (2023). We also settle a part of an open question of Lajos Soukup (stated in Banerjee and Gopaulsingh (2023) [Question 6.1]) about the relationship between the following two order-theoretic principles, which [as shown in Banerjee and Gopaulsingh (2023)] are weaker than <span>\\(\\textsf{EDM}\\)</span>: (a) “Every partially ordered set such that all of its antichains are finite and all of its chains are countable is countable” (this is known as Kurepa’s theorem), and (b) “Every partially ordered set such that all of its antichains are countable and all of its chains are finite is countable”. In particular, we prove that (b) does not imply (a) in <span>\\(\\textsf{ZF}\\)</span> (i.e., Zermelo–Fraenkel set theory without <span>\\(\\textsf{AC}\\)</span>). Moreover, with respect to (b), we answer an open question from Banerjee and Gopaulsingh (2023) about its relationship with the following weak choice form: “Every set is either well orderable or has an amorphous subset”; in particular, we show that (b) follows from, but does not imply, the latter weak choice principle in <span>\\(\\textsf{ZFA}\\)</span> (i.e., Zermelo–Fraenkel set theory with atoms).</p>","PeriodicalId":18913,"journal":{"name":"Monatshefte für Mathematik","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Monatshefte für Mathematik","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00605-023-01933-z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

We provide answers to open questions from Banerjee and Gopaulsingh (Bull Pol Acad Sci Math 71: 1–21, 2023) about the relationship between the Erdős–Dushnik–Miller theorem (\(\textsf{EDM}\)) and certain weaker forms of the Axiom of Choice (\(\textsf{AC}\)), and we properly strengthen some results from Banerjee and Gopaulsingh (2023). We also settle a part of an open question of Lajos Soukup (stated in Banerjee and Gopaulsingh (2023) [Question 6.1]) about the relationship between the following two order-theoretic principles, which [as shown in Banerjee and Gopaulsingh (2023)] are weaker than \(\textsf{EDM}\): (a) “Every partially ordered set such that all of its antichains are finite and all of its chains are countable is countable” (this is known as Kurepa’s theorem), and (b) “Every partially ordered set such that all of its antichains are countable and all of its chains are finite is countable”. In particular, we prove that (b) does not imply (a) in \(\textsf{ZF}\) (i.e., Zermelo–Fraenkel set theory without \(\textsf{AC}\)). Moreover, with respect to (b), we answer an open question from Banerjee and Gopaulsingh (2023) about its relationship with the following weak choice form: “Every set is either well orderable or has an amorphous subset”; in particular, we show that (b) follows from, but does not imply, the latter weak choice principle in \(\textsf{ZFA}\) (i.e., Zermelo–Fraenkel set theory with atoms).

关于厄尔多斯-杜什尼克-米勒定理的演绎强度和两个秩序理论原则
我们回答了 Banerjee 和 Gopaulsingh (Bull Pol Acad Sci Math 71: 1-21, 2023) 提出的关于厄尔多斯-杜什尼克-米勒定理 (\(textsf{EDM}\)) 和选择公理 (\(textsf{AC}\)) 的某些较弱形式之间的关系的公开问题,并适当加强了 Banerjee 和 Gopaulsingh (2023) 的一些结果。我们还解决了拉约什-苏库普(Lajos Soukup)提出的一个未决问题的一部分(在班纳吉和戈帕辛格(2023)[问题6.1]中提出),即下面两个有序理论原则之间的关系,这两个原则[如班纳吉和戈帕辛格(2023)所示]比\(\textsf{EDM}\)弱:(a) "每一个部分有序集合,如果它的所有反链都是有限的,而且它的所有链都是可数的,那么它就是可数的"(这被称为库雷帕定理),以及 (b) "每一个部分有序集合,如果它的所有反链都是可数的,而且它的所有链都是有限的,那么它就是可数的"。特别是,我们证明了(b)在(\textsf{ZF}\)中并不意味着(a)(即没有(\textsf{AC}\)的Zermelo-Fraenkel集合论)。此外,关于(b),我们回答了班纳吉和戈珀辛格(2023)提出的一个开放问题,即它与下面弱选择形式的关系:"每个集合要么是有序的,要么有一个无定形子集";特别是,我们证明了(b)是从(\textsf{ZFA}\)(即有原子的泽梅洛-弗伦克尔集合论)中的后一个弱选择原则得出的,但并不意味着后一个弱选择原则。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信