Annals of Pure and Applied Logic最新文献

{"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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}

{"title":"The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions","authors":"Matteo Tesi ,&nbsp;Sara Negri","doi":"10.1016/j.apal.2023.103285","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103285","url":null,"abstract":"<div><p>The Gödel-McKinsey-Tarski embedding allows to view intuitionistic logic through the lenses of modal logic. In this work, an extension of the modal embedding to infinitary intuitionistic logic is introduced. First, a neighborhood semantics for a family of axiomatically presented infinitary modal logics is given and soundness and completeness are proved via the method of canonical models. The semantics is then exploited to obtain a labelled sequent calculus with good structural properties. Next, soundness and faithfulness of the embedding are established by transfinite induction on the height of derivations: the proof is obtained directly without resorting to non-constructive principles. Finally, the modal embedding is employed in order to relate classical, intuitionistic and modal derivability in infinitary logic extended with axioms.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49762607","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":"Cohen preservation and independence","authors":"Vera Fischer,&nbsp;Corey Bacal Switzer","doi":"10.1016/j.apal.2023.103291","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103291","url":null,"abstract":"<div><p>We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the independence number <span><math><mi>i</mi></math></span> is strictly below <span><math><mi>c</mi></math></span>, including iterations of Sacks forcing, Miller partition forcing, <em>h</em>-perfect tree forcings, coding with perfect trees. Moreover, applying the theorem, we show that <span><math><mi>i</mi><mo>=</mo><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> in the Miller Lite model. An important aspect of the preservation theorem is the notion of “Cohen preservation”, which we discuss in detail.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49762609","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 the Π31-reduction property and a failure of Π31-uniformization","authors":"Stefan Hoffelner","doi":"10.1016/j.apal.2023.103292","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103292","url":null,"abstract":"<div><p>We generically construct a model in which the <span><math><msubsup><mrow><mi>Π</mi></mrow><mrow><mn>3</mn></mrow><mrow><mn>1</mn></mrow></msubsup></math></span>-reduction property is true and the <span><math><msubsup><mrow><mi>Π</mi></mrow><mrow><mn>3</mn></mrow><mrow><mn>1</mn></mrow></msubsup></math></span>-uniformization property is false, thus producing a model which separates these two principles for the first time.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49762608","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":"Indestructibility of some compactness principles over models of PFA","authors":"R. Honzik, C. Lambie-Hanson, S. Stejskalová","doi":"10.1016/j.apal.2023.103359","DOIUrl":"https://doi.org/10.1016/j.apal.2023.103359","url":null,"abstract":"","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41655849","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}