Annals of Pure and Applied Logic最新文献

{"title":"Indestructibility of some compactness principles over models of PFA","authors":"Radek Honzik ,&nbsp;Chris Lambie-Hanson ,&nbsp;Šárka Stejskalová","doi":"10.1016/j.apal.2023.103359","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103359","url":null,"abstract":"<div><p>We show that <span><math><mi>PFA</mi></math></span> (Proper Forcing Axiom) implies that adding any number of Cohen subsets of <em>ω</em> will not add an <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-Aronszajn tree or a weak <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>-Kurepa tree, and moreover no <em>σ</em>-centered forcing can add a weak <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>-Kurepa tree (a tree of height and size <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> with at least <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> cofinal branches). This partially answers an open problem whether ccc forcings can add <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-Aronszajn trees or <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>-Kurepa trees (with <span><math><mo>¬</mo><msub><mrow><mo>□</mo></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub></math></span> in the latter case).</p><p>We actually prove more: We show that a consequence of <span><math><mi>PFA</mi></math></span>, namely the <em>guessing model principle</em>, <span><math><mi>GMP</mi></math></span>, which is equivalent to the <em>ineffable slender tree property</em>, <span><math><mi>ISP</mi></math></span>, is preserved by adding any number of Cohen subsets of <em>ω</em>. And moreover, <span><math><mi>GMP</mi></math></span> implies that no <em>σ</em>-centered forcing can add a weak <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>-Kurepa tree (see Section <span>2.1</span> for definitions).</p><p>For more generality, we study variations of the principle <span><math><mi>GMP</mi></math></span> at higher cardinals and the indestructibility consequences they entail, and as applications we answer a question of Mohammadpour about guessing models at weakly but not strongly inaccessible cardinals and show that there is a model in which there are no weak <span><math><msub><mrow><mi>ℵ</mi></mrow><mrow><mi>ω</mi><mo>+</mo><mn>1</mn></mrow></msub></math></span>-Kurepa trees and no <span><math><msub><mrow><mi>ℵ</mi></mrow><mrow><mi>ω</mi><mo>+</mo><mn>2</mn></mrow></msub></math></span>-Aronszajn trees.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 1","pages":"Article 103359"},"PeriodicalIF":0.8,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49724782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On countably perfectly meager and countably perfectly null sets","authors":"Tomasz Weiss ,&nbsp;Piotr Zakrzewski","doi":"10.1016/j.apal.2023.103357","DOIUrl":"10.1016/j.apal.2023.103357","url":null,"abstract":"<div><p>We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set.</p><p>We say that a subset <em>A</em> of a perfect Polish space <em>X</em> is countably perfectly meager (respectively, countably perfectly null) in <em>X</em>, if for every perfect Polish topology <em>τ</em> on <em>X</em>, giving the original Borel structure of <em>X</em>, <em>A</em> is covered by an <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>σ</mi></mrow></msub></math></span>-set <em>F</em> in <em>X</em> with the original Polish topology such that <em>F</em> is meager with respect to <em>τ</em> (respectively, for every finite, non-atomic, Borel measure <em>μ</em> on <em>X</em>, <em>A</em> is covered by an <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>σ</mi></mrow></msub></math></span>-set <em>F</em> in <em>X</em> with <span><math><mi>μ</mi><mo>(</mo><mi>F</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span>).</p><p>We prove that if <span><math><msup><mrow><mn>2</mn></mrow><mrow><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msup><mo>≤</mo><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>, then there exists a universally meager set in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span> which is not countably perfectly meager in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span> (respectively, a universally null set in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span> which is not countably perfectly null in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span>).</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 1","pages":"Article 103357"},"PeriodicalIF":0.8,"publicationDate":"2023-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45641003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Primitive recursive reverse mathematics","authors":"Nikolay Bazhenov ,&nbsp;Marta Fiori-Carones ,&nbsp;Lu Liu ,&nbsp;Alexander Melnikov","doi":"10.1016/j.apal.2023.103354","DOIUrl":"10.1016/j.apal.2023.103354","url":null,"abstract":"<div><p>We use a second-order analogy <span><math><msup><mrow><mi>PRA</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> of <span><math><mi>PRA</mi></math></span> to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics. We compare our results with similar results in the fast-developing field of primitive recursive (‘punctual’) algebra and analysis, and with results from ‘online’ combinatorics. We argue that <span><math><msup><mrow><mi>PRA</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> is sufficiently robust to serve as an alternative base system below <span><math><msub><mrow><mi>RCA</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> to study the proof-theoretic content of theorems in ordinary mathematics. (The most popular alternative is perhaps <span><math><msubsup><mrow><mi>RCA</mi></mrow><mrow><mn>0</mn></mrow><mrow><mo>⁎</mo></mrow></msubsup></math></span>.) We discover that many theorems that are known to be true in <span><math><msub><mrow><mi>RCA</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> either hold in <span><math><msup><mrow><mi>PRA</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> or are equivalent to <span><math><msub><mrow><mi>RCA</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> or its weaker (but natural) analogy <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>N</mi></mrow></msup></math></span>-<span><math><msub><mrow><mi>RCA</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> over <span><math><msup><mrow><mi>PRA</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>. However, we also discover that some standard mathematical and combinatorial facts are incomparable with these natural subsystems.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 1","pages":"Article 103354"},"PeriodicalIF":0.8,"publicationDate":"2023-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42904058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Large cardinals at the brink","authors":"W. Hugh Woodin","doi":"10.1016/j.apal.2023.103328","DOIUrl":"10.1016/j.apal.2023.103328","url":null,"abstract":"<div><p>Kunen's theorem that assuming the Axiom of Choice there are no Reinhardt cardinals is a key milestone in the program to understand large cardinal axioms. But this theorem is not the end of a story, rather it is the beginning.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 1","pages":"Article 103328"},"PeriodicalIF":0.8,"publicationDate":"2023-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44436569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Counterfactual and seeing-to-it responsibilities in strategic games","authors":"Pavel Naumov ,&nbsp;Jia Tao","doi":"10.1016/j.apal.2023.103353","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103353","url":null,"abstract":"<div><p>The article studies two forms of responsibility in the setting of strategic games with imperfect information. They are referred to as seeing-to-it responsibility and counterfactual responsibility. It shows that counterfactual responsibility is definable through seeing-to-it, but not the other way around. The article also proposes a sound and complete bimodal logical system that describes the interplay between the seeing-to-it modality and the individual ex ante knowledge modality.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"174 10","pages":"Article 103353"},"PeriodicalIF":0.8,"publicationDate":"2023-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49726143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The comparison lemma","authors":"John R. Steel","doi":"10.1016/j.apal.2023.103329","DOIUrl":"10.1016/j.apal.2023.103329","url":null,"abstract":"<div><p>The standard comparison lemma of inner model theory is deficient, in that it does not in general produce a comparison of all the relevant inputs. How two mice compare can depend upon which iteration strategies are used to compare them. We shall outline here a method for comparing iteration strategies that removes this defect.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 1","pages":"Article 103329"},"PeriodicalIF":0.8,"publicationDate":"2023-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45128918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Different cofinalities of tree ideals","authors":"Saharon Shelah ,&nbsp;Otmar Spinas","doi":"10.1016/j.apal.2023.103290","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103290","url":null,"abstract":"<div><p>We introduce a general framework of generalized tree forcings, GTF for short, that includes the classical tree forcings like Sacks, Silver, Laver or Miller forcing. Using this concept we study the cofinality of the ideal <span><math><mi>I</mi><mo>(</mo><mi>Q</mi><mo>)</mo></math></span> associated with a GTF <strong><em>Q</em></strong>. We show that if for two GTF's <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> the consistency of <span><math><mrow><mi>add</mi></mrow><mo>(</mo><mi>I</mi><mo>(</mo><msub><mrow><mi>Q</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo><mo>)</mo><mo>&lt;</mo><mspace></mspace><mrow><mi>add</mi></mrow><mo>(</mo><mi>I</mi><mo>(</mo><msub><mrow><mi>Q</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>)</mo></math></span> holds, then we can obtain the consistency of <span><math><mrow><mi>cof</mi></mrow><mo>(</mo><mi>I</mi><mo>(</mo><msub><mrow><mi>Q</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>)</mo><mo>&lt;</mo><mspace></mspace><mrow><mi>cof</mi></mrow><mo>(</mo><mi>I</mi><mo>(</mo><msub><mrow><mi>Q</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo><mo>)</mo></math></span>. We also show that <span><math><mrow><mi>cof</mi></mrow><mo>(</mo><mi>I</mi><mo>(</mo><mi>Q</mi><mo>)</mo><mo>)</mo></math></span> can consistently be any cardinal of cofinality larger than the continuum.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"174 8","pages":"Article 103290"},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49726661","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Eggleston's dichotomy for characterized subgroups and the role of ideals","authors":"Pratulananda Das,&nbsp;Ayan Ghosh","doi":"10.1016/j.apal.2023.103289","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103289","url":null,"abstract":"<div><p>“Eggleston's dichotomy” is a “one of a kind” unique observation which broadly tells us that the characterized subgroups of the circle group (characterized by a sequence of positive integers <span><math><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span>) are either countable or of cardinality <span><math><mi>c</mi></math></span> depending on the asymptotic behavior of the sequence of the ratios <span><math><mfrac><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow></mfrac></math></span>. One should note that these subgroups are generated by using the notion of usual convergence which is nothing but a special case of the more general notion of ideal convergence for the ideal <em>Fin</em>. It has been recently established that “Eggleston's dichotomy” fails in the case of modified versions of characterized subgroups when the ideal <em>Fin</em> is replaced by the natural density ideal <span><math><msub><mrow><mi>I</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span>, or more generally, by ideals which are now known as simple density and modular simple density ideals. As all the ideals mentioned above are analytic <em>P</em>-ideals, a natural question arises as to whether one can isolate some appropriate property of ideals which enforces the dichotomy or the failure of it. In this article we are able to isolate that particular feature of an ideal and come out with a new class of ideals which we call, “strongly non-translation invariant ideals” (in short <em>snt</em>-ideals). In particular, we are able to establish that for a sequence of positive integers <span><math><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span>, be it arithmetic or arising from the continued fraction expansion of an irrational number:</p><ul><li><span>(i)</span><span><p>For non-<em>snt</em> analytic <em>P</em> ideals, the size of the corresponding characterized subgroups is always <span><math><mi>c</mi></math></span> even if the sequence <span><math><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span> is <em>b</em>-bounded (i.e. the sequence of the ratios <span><math><mfrac><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow></mfrac></math></span> is bounded) which implies the breaking down of “Eggleston's dichotomy”.</p></span></li><li><span>(ii)</span><span><p>For <em>snt</em> analytic <em>P</em> ideals, the corresponding characterized subgroups are always countable if the sequence <span><math><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></math></span> is <em>b</em>-bounded which means “Eggleston's dichotomy” holds.</p></span></li></ul></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"174 8","pages":"Article 103289"},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49726142","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Independence relations for exponential fields","authors":"Vahagn Aslanyan ,&nbsp;Robert Henderson,&nbsp;Mark Kamsma ,&nbsp;Jonathan Kirby","doi":"10.1016/j.apal.2023.103288","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103288","url":null,"abstract":"<div><p>We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP₁-like and non-simple, a third is stable, and the fourth is the quasiminimal pregeometry of Zilber's exponential fields, previously known to be stable (and uncountably categorical). We also characterise the fourth independence relation in terms of the third, strong independence.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"174 8","pages":"Article 103288"},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49726658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Forcing with copies of the Rado and Henson graphs","authors":"Osvaldo Guzmán ,&nbsp;Stevo Todorcevic","doi":"10.1016/j.apal.2023.103286","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103286","url":null,"abstract":"<div><p>If <span><math><mi>B</mi></math></span> is a relational structure, define <span><math><mi>P</mi><mo>(</mo><mi>B</mi><mo>)</mo></math></span> the partial order of all substructures of <span><math><mi>B</mi></math></span> that are isomorphic to it. Improving a result of Kurilić and the second author, we prove that if <span><math><mi>R</mi></math></span> is the random graph, then <span><math><mi>P</mi><mo>(</mo><mi>R</mi><mo>)</mo></math></span> is forcing equivalent to <span><math><mi>S</mi><mo>⁎</mo><mover><mrow><mi>R</mi></mrow><mrow><mo>˙</mo></mrow></mover></math></span>, where <span><math><mi>S</mi></math></span> is Sacks forcing and <span><math><mover><mrow><mi>R</mi></mrow><mrow><mo>˙</mo></mrow></mover></math></span> is an <em>ω</em>-distributive forcing that is not forcing equivalent to a <em>σ</em>-closed one. We also prove that <span><math><msub><mrow><mi>P</mi><mo>(</mo><mi>H</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>)</mo></math></span> is forcing equivalent to a <em>σ</em>-closed forcing, where <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> is the generic triangle-free graph.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"174 8","pages":"Article 103286"},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49726679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}