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

被引:0
作者
Eleftherios Tachtsis
机构
[1] University of the Aegean,Department of Statistics and Actuarial
来源
Monatshefte für Mathematik | 2024年 / 203卷
关键词
Axiom of choice; Weak axioms of choice; Erdős–Dushnik–Miller theorem; Graph; Partially ordered set; Chain; Antichain; Kurepa’s theorem; Permutation model; 03E25; 03E35; 05C63; 06A06; 06A07;
D O I
暂无
中图分类号
学科分类号
摘要
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 (EDM\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{EDM}$$\end{document}) and certain weaker forms of the Axiom of Choice (AC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{AC}$$\end{document}), 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 EDM\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{EDM}$$\end{document}: (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 ZF\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{ZF}$$\end{document} (i.e., Zermelo–Fraenkel set theory without AC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{AC}$$\end{document}). 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 ZFA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{ZFA}$$\end{document} (i.e., Zermelo–Fraenkel set theory with atoms).
引用
收藏
页码:677 / 693
页数:16
相关论文
共 20 条
  • [1] Banerjee A(2023)On the Erdős-Dushnik-Miller theorem without AC Bull. Pol. Acad. Sci. Math. 71 1-21
  • [2] Gopaulsingh A(1977)Ramsey’s theorem in the hierarchy of choice principles J. Symb. Log. 42 387-390
  • [3] Blass A(1941)Partially ordered sets Amer. J. Math. 63 600-610
  • [4] Dushnik B(1965)Some applications of the notions of forcing and generic sets Fund. Math. 56 325-345
  • [5] Miller EW(1964)The independence of the axiom of choice from the Boolean prime ideal theorem Fund. Math. 55 57-66
  • [6] Feferman S(1976)The law of infinite cardinal addition is weaker than the axiom of choice Trans. Amer. Math. Soc. 220 195-204
  • [7] Halpern JD(1977)The axiom of choice and linearly ordered sets Fund. Math. 98 111-122
  • [8] Halpern JD(2021)Several results on compact metrizable spaces in Monatsh. Math. 196 67-102
  • [9] Howard PE(1958)On two problems concerning ordered sets. Glasnik Mat.-Fiz Astronom. Društvo Mat. Fiz. Hrvatske Ser. 13 229-234
  • [10] Howard PE(1929)On a problem of formal logic Proc. London Math. Soc. Series 2 264-286