{"title":"特殊的树编号","authors":"Corey Bacal Switzer","doi":"10.4064/fm180-1-2023","DOIUrl":null,"url":null,"abstract":"Define the special tree number, denoted $\\mathfrak{st}$, to be the least size of a tree of height $\\omega_1$ which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of $\\mathsf{MA}$ but in this paper we look at its relation to other, more typical, cardinal characteristics. Classical facts imply that $\\aleph_1 \\leq \\mathfrak{st} \\leq 2^{\\aleph_0}$, under Martin's Axiom $\\mathfrak{st} = 2^{\\aleph_0}$ and that $\\mathfrak{st} = \\aleph_1$ is consistent with $\\mathsf{MA}({\\rm Knaster}) + 2^{\\aleph_0} = \\kappa$ for any regular $\\kappa$ thus the value of $\\mathfrak{st}$ is not decided by $\\mathsf{ZFC}$ and in fact can be strictly below essentially all well studied cardinal characteristics. We show that conversely it is consistent that $\\mathfrak{st} = 2^{\\aleph_0} = \\kappa$ for any $\\kappa$ of uncountable cofinality while ${\\rm non}(\\mathcal M) = \\mathfrak{a} = \\mathfrak{s} = \\mathfrak{g} = \\aleph_1$. In particular $\\mathfrak{st}$ is independent of the lefthand side of Cicho\\'{n}'s diagram, amongst other things. The proof involves an in depth study of the standard ccc forcing notion to specialize (wide) Aronszajn trees, which may be of independent interest.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"The special tree number\",\"authors\":\"Corey Bacal Switzer\",\"doi\":\"10.4064/fm180-1-2023\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Define the special tree number, denoted $\\\\mathfrak{st}$, to be the least size of a tree of height $\\\\omega_1$ which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of $\\\\mathsf{MA}$ but in this paper we look at its relation to other, more typical, cardinal characteristics. Classical facts imply that $\\\\aleph_1 \\\\leq \\\\mathfrak{st} \\\\leq 2^{\\\\aleph_0}$, under Martin's Axiom $\\\\mathfrak{st} = 2^{\\\\aleph_0}$ and that $\\\\mathfrak{st} = \\\\aleph_1$ is consistent with $\\\\mathsf{MA}({\\\\rm Knaster}) + 2^{\\\\aleph_0} = \\\\kappa$ for any regular $\\\\kappa$ thus the value of $\\\\mathfrak{st}$ is not decided by $\\\\mathsf{ZFC}$ and in fact can be strictly below essentially all well studied cardinal characteristics. We show that conversely it is consistent that $\\\\mathfrak{st} = 2^{\\\\aleph_0} = \\\\kappa$ for any $\\\\kappa$ of uncountable cofinality while ${\\\\rm non}(\\\\mathcal M) = \\\\mathfrak{a} = \\\\mathfrak{s} = \\\\mathfrak{g} = \\\\aleph_1$. In particular $\\\\mathfrak{st}$ is independent of the lefthand side of Cicho\\\\'{n}'s diagram, amongst other things. The proof involves an in depth study of the standard ccc forcing notion to specialize (wide) Aronszajn trees, which may be of independent interest.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2022-03-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.4064/fm180-1-2023\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4064/fm180-1-2023","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Define the special tree number, denoted $\mathfrak{st}$, to be the least size of a tree of height $\omega_1$ which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of $\mathsf{MA}$ but in this paper we look at its relation to other, more typical, cardinal characteristics. Classical facts imply that $\aleph_1 \leq \mathfrak{st} \leq 2^{\aleph_0}$, under Martin's Axiom $\mathfrak{st} = 2^{\aleph_0}$ and that $\mathfrak{st} = \aleph_1$ is consistent with $\mathsf{MA}({\rm Knaster}) + 2^{\aleph_0} = \kappa$ for any regular $\kappa$ thus the value of $\mathfrak{st}$ is not decided by $\mathsf{ZFC}$ and in fact can be strictly below essentially all well studied cardinal characteristics. We show that conversely it is consistent that $\mathfrak{st} = 2^{\aleph_0} = \kappa$ for any $\kappa$ of uncountable cofinality while ${\rm non}(\mathcal M) = \mathfrak{a} = \mathfrak{s} = \mathfrak{g} = \aleph_1$. In particular $\mathfrak{st}$ is independent of the lefthand side of Cicho\'{n}'s diagram, amongst other things. The proof involves an in depth study of the standard ccc forcing notion to specialize (wide) Aronszajn trees, which may be of independent interest.