关于劈树

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-05-28 DOI:10.1002/malq.202200022

Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle

{"title":"关于劈树","authors":"Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle","doi":"10.1002/malq.202200022","DOIUrl":null,"url":null,"abstract":"We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field. Moreover, we prove that any absolute amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that <math>\n <semantics>\n <mrow>\n <mo>add</mo>\n <mo>(</mo>\n <msub>\n <mi>I</mi>\n <mi>SP</mi>\n </msub>\n <mo>)</mo>\n <mo>≤</mo>\n <mi>b</mi>\n </mrow>\n <annotation>$\\operatorname{add}(\\mathcal {I}_\\mathbb {SP}) \\le \\mathfrak {b}$</annotation>\n </semantics></math>.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"15-30"},"PeriodicalIF":0.4000,"publicationDate":"2023-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200022","citationCount":"1","resultStr":"{\"title\":\"On splitting trees\",\"authors\":\"Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle\",\"doi\":\"10.1002/malq.202200022\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field. Moreover, we prove that any absolute amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that <math>\\n <semantics>\\n <mrow>\\n <mo>add</mo>\\n <mo>(</mo>\\n <msub>\\n <mi>I</mi>\\n <mi>SP</mi>\\n </msub>\\n <mo>)</mo>\\n <mo>≤</mo>\\n <mi>b</mi>\\n </mrow>\\n <annotation>$\\\\operatorname{add}(\\\\mathcal {I}_\\\\mathbb {SP}) \\\\le \\\\mathfrak {b}$</annotation>\\n </semantics></math>.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"69 1\",\"pages\":\"15-30\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-05-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200022\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200022\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200022","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 1

摘要

我们研究了分裂树强迫的两种变体，它们的理想和正则性性质。我们证明了与其他著名概念的联系，如Lebesgue可测性、Baire和Doughnut性质以及Marczewski域。此外，我们证明了任何绝对的变形虫强迫分裂树木必然会增加一个主导的实数，为Hein和Spinas关于add（I SP）≤b$\operatorname｛add｝（\mathcal{I}_\mathbb｛SP｝）\le\mathfrak｛b｝$。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On splitting trees

We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility, Baire- and Doughnut-property and the Marczewski field. Moreover, we prove that any absolute amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that $add (I_{SP}) \leq b$ .

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： 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.