Annals of Pure and Applied Logic最新文献

{"title":"Strong minimal pairs in the enumeration degrees","authors":"Josiah Jacobsen-Grocott","doi":"10.1016/j.apal.2024.103464","DOIUrl":"https://doi.org/10.1016/j.apal.2024.103464","url":null,"abstract":"<div><p>We prove that there are strong minimal pairs in the enumeration degrees and that the degrees of the left and right sides of strong minimal pairs include <span><math><msubsup><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>0</mn></mrow></msubsup></math></span> degrees, although it is unknown if there is a strong minimal pair in the <span><math><msubsup><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>0</mn></mrow></msubsup></math></span> enumeration degrees. We define a stronger type of minimal pair we call a strong super minimal pair, and show that there are none of these in the enumeration degrees, answering a question of Lempp et al. <span>[6]</span>. We leave open the question of the existence of a super minimal pair in the enumeration degrees.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 10","pages":"Article 103464"},"PeriodicalIF":0.8,"publicationDate":"2024-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141286571","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":"Finite undecidability in PAC and PRC fields","authors":"Brian Tyrrell","doi":"10.1016/j.apal.2024.103465","DOIUrl":"10.1016/j.apal.2024.103465","url":null,"abstract":"<div><p>A field <em>K</em> in a ring language <span><math><mi>L</mi></math></span> is <em>finitely undecidable</em> if <span><math><mtext>Cons</mtext><mo>(</mo><mi>Σ</mi><mo>)</mo></math></span> is undecidable for every nonempty finite <span><math><mi>Σ</mi><mo>⊆</mo><mtext>Th</mtext><mo>(</mo><mi>K</mi><mo>;</mo><mi>L</mi><mo>)</mo></math></span>. We adapt arguments originating with Cherlin-van den Dries-Macintyre/Ershov (for PAC fields) and Haran (for PRC fields) to prove all PAC and PRC fields are finitely undecidable. We describe the difficulties that arise in adapting the proof to P<em>p</em>C fields, and show no bounded P<em>p</em>C field is finitely axiomatisable. This work is drawn from the author's PhD thesis <span>[44, Chapter 4]</span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 10","pages":"Article 103465"},"PeriodicalIF":0.8,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000630/pdfft?md5=4a33b42fff6d541d26261561103e7ddd&pid=1-s2.0-S0168007224000630-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141197022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Two-cardinal ideal operators and indescribability","authors":"Brent Cody ,&nbsp;Philip White","doi":"10.1016/j.apal.2024.103463","DOIUrl":"10.1016/j.apal.2024.103463","url":null,"abstract":"<div><p>A well-known version of Rowbottom's theorem for supercompactness ultrafilters leads naturally to notions of two-cardinal Ramseyness and corresponding normal ideals introduced herein. Generalizing results of Baumgartner, Feng and the first author, from the cardinal setting to the two-cardinal setting, we study hierarchies associated with a particular version of two-cardinal Ramseyness and a strong version of two-cardinal ineffability, as well as the relationships between these hierarchies and a natural notion of transfinite two-cardinal indescribability.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 8","pages":"Article 103463"},"PeriodicalIF":0.8,"publicationDate":"2024-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000617/pdfft?md5=48f3bb6ab30a9410a6aa9d07709c915f&pid=1-s2.0-S0168007224000617-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141061703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal","authors":"David Fernández-Duque,&nbsp;Andreas Weiermann","doi":"10.1016/j.apal.2024.103455","DOIUrl":"10.1016/j.apal.2024.103455","url":null,"abstract":"<div><p>Hardy functions are defined by transfinite recursion and provide upper bounds for the growth rate of the provably total computable functions in various formal theories, making them an essential ingredient in many proofs of independence. Their definition is contingent on a choice of fundamental sequences, which approximate limits in a ‘canonical’ way. In order to ensure that these functions behave as expected, including the aforementioned unprovability results, these fundamental sequences must enjoy certain regularity properties.</p><p>In this article, we prove that Buchholz's system of fundamental sequences for the <em>ϑ</em> function enjoys such conditions, including the Bachmann property. We partially extend these results to variants of the <em>ϑ</em> function, including a version without addition for countable ordinals. We conclude that the Hardy functions based on these notation systems enjoy natural monotonicity properties and majorize all functions defined by primitive recursion along <span><math><mi>ϑ</mi><mo>(</mo><msub><mrow><mi>ε</mi></mrow><mrow><mi>Ω</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 8","pages":"Article 103455"},"PeriodicalIF":0.8,"publicationDate":"2024-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000538/pdfft?md5=a9318d0df651509a7116d53069683110&pid=1-s2.0-S0168007224000538-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141061705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The ghosts of forgotten things: A study on size after forgetting","authors":"Paolo Liberatore","doi":"10.1016/j.apal.2024.103456","DOIUrl":"10.1016/j.apal.2024.103456","url":null,"abstract":"<div><p>Forgetting is removing variables from a logical formula while preserving the constraints on the other variables. In spite of reducing information, it does not always decrease the size of the formula and may sometimes increase it. This article discusses the implications of such an increase and analyzes the computational properties of the phenomenon. Given a propositional Horn formula, a set of variables and a maximum allowed size, deciding whether forgetting the variables from the formula can be expressed in that size is <span><math><msup><mrow><mi>D</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-hard in <span><math><msubsup><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>p</mi></mrow></msubsup></math></span>. The same problem for unrestricted CNF propositional formulae is <span><math><msubsup><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>p</mi></mrow></msubsup></math></span>-hard in <span><math><msubsup><mrow><mi>Σ</mi></mrow><mrow><mn>3</mn></mrow><mrow><mi>p</mi></mrow></msubsup></math></span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 8","pages":"Article 103456"},"PeriodicalIF":0.8,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S016800722400054X/pdfft?md5=664e39c8c02a1bed0bfc7e9414e88499&pid=1-s2.0-S016800722400054X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141063991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Continuum many different things: Localisation, anti-localisation and Yorioka ideals","authors":"Miguel A. Cardona ,&nbsp;Lukas Daniel Klausner ,&nbsp;Diego A. Mejía","doi":"10.1016/j.apal.2024.103453","DOIUrl":"10.1016/j.apal.2024.103453","url":null,"abstract":"<div><p>Combining creature forcing approaches from <span>[16]</span> and <span>[8]</span>, we show that, under <span>ch</span>, there is a proper <span><math><msup><mrow><mi>ω</mi></mrow><mrow><mi>ω</mi></mrow></msup></math></span>-bounding poset with ℵ₂-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-localisation cardinals, respectively. This answers several open questions from <span>[17]</span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103453"},"PeriodicalIF":0.8,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140611495","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":"Profiniteness, monadicity and universal models in modal logic","authors":"Matteo De Berardinis,&nbsp;Silvio Ghilardi","doi":"10.1016/j.apal.2024.103454","DOIUrl":"10.1016/j.apal.2024.103454","url":null,"abstract":"<div><p>Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over <strong>Set</strong>. While analyzing the monadic functor, we recover the universal model construction - a construction widely used in the modal logic literature for describing finitely generated free modal algebras and the essentially finite generated subframes of their canonical models.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103454"},"PeriodicalIF":0.8,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140611550","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":"Can you take Komjath's inaccessible away?","authors":"Hossein Lamei Ramandi ,&nbsp;Stevo Todorcevic","doi":"10.1016/j.apal.2024.103452","DOIUrl":"https://doi.org/10.1016/j.apal.2024.103452","url":null,"abstract":"<div><p>In this paper we aim to compare Kurepa trees and Aronszajn trees. Moreover, we analyze the effect of large cardinal assumptions on this comparison. Using the method of walks on ordinals, we will show it is consistent with ZFC that there is a Kurepa tree and every Kurepa tree contains an Aronszajn subtree, if there is an inaccessible cardinal. This is stronger than Komjath's theorem in <span>[5]</span>, where he proves the same consistency from two inaccessible cardinals. Moreover, we prove it is consistent with ZFC that there is a Kurepa tree <em>T</em> such that if <span><math><mi>U</mi><mo>⊂</mo><mi>T</mi></math></span> is a Kurepa tree with the inherited order from <em>T</em>, then <em>U</em> has an Aronszajn subtree. This theorem uses no large cardinal assumption. Our last theorem immediately implies the following: If <span><math><msub><mrow><mi>MA</mi></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub></math></span> holds and <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> is not a Mahlo cardinal in <figure><img></figure> then there is a Kurepa tree with the property that every Kurepa subset has an Aronszajn subtree. Our work entails proving a new lemma about Todorcevic's <em>ρ</em> function which might be useful in other contexts.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103452"},"PeriodicalIF":0.8,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000502/pdfft?md5=1993a5c4769b9c98665f24c8f3058ad9&pid=1-s2.0-S0168007224000502-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140632557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Extreme types and extremal models","authors":"Seyed-Mohammad Bagheri","doi":"10.1016/j.apal.2024.103451","DOIUrl":"10.1016/j.apal.2024.103451","url":null,"abstract":"<div><p>In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory <em>T</em> has an extremal model, i.e. a model which realizes only extreme types. Extremal models form an elementary class in the full continuous logic sense if and only if the set of extreme <em>n</em>-types is closed in <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo></math></span> for each <em>n</em>. Also, some applications are given in the special cases where the theory has a compact or first order model.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103451"},"PeriodicalIF":0.8,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140611547","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":"Admissible extensions of subtheories of second order arithmetic","authors":"Gerhard Jäger ,&nbsp;Michael Rathjen","doi":"10.1016/j.apal.2024.103425","DOIUrl":"https://doi.org/10.1016/j.apal.2024.103425","url":null,"abstract":"<div><p>In this paper we study admissible extensions of several theories <em>T</em> of reverse mathematics. The idea is that in such an extension the structure <span><math><mi>M</mi><mo>=</mo><mo>(</mo><mi>N</mi><mo>,</mo><mi>S</mi><mo>,</mo><mo>∈</mo><mo>)</mo></math></span> of the natural numbers and collection of sets of natural numbers <span><math><mi>S</mi></math></span> has to obey the axioms of <em>T</em> while simultaneously one also has a set-theoretic world with transfinite levels erected on top of <span><math><mi>M</mi></math></span> governed by the axioms of Kripke-Platek set theory, <span><math><mi>KP</mi></math></span>.</p><p>In some respects, the admissible extension of <em>T</em> can be viewed as a proof-theoretic analog of Barwise's admissible cover of an arbitrary model of set theory; see <span>[2]</span>. However, by contrast, the admissible extension of <em>T</em> is usually not a conservative extension of <em>T</em>. Owing to the interplay of <em>T</em> and <span><math><mi>KP</mi></math></span>, either theory's axioms may force new sets of naturals to exist which in turn may engender yet new sets of naturals on account of the axioms of the other.</p><p>The paper discerns a general pattern though. It turns out that for many familiar theories <em>T</em>, the second order part of the admissible cover of <em>T</em> equates to <em>T</em> augmented by transfinite induction over all initial segments of the Bachmann-Howard ordinal. Technically, the paper uses a novel type of ordinal analysis, expanding that for <span><math><mi>KP</mi></math></span> to the higher set-theoretic universe while at the same time treating the world of subsets of <span><math><mi>N</mi></math></span> as an unanalyzed class-sized urelement structure.</p><p>Among the systems of reverse mathematics, for which we determine the admissible extension, are <span><math><msubsup><mrow><mi>Π</mi></mrow><mrow><mn>1</mn></mrow><mrow><mn>1</mn></mrow></msubsup><mtext>-</mtext><msub><mrow><mi>CA</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>ATR</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> as well as the theory of bar induction, <span><math><mi>BI</mi></math></span>.</p></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"175 7","pages":"Article 103425"},"PeriodicalIF":0.8,"publicationDate":"2024-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0168007224000228/pdfft?md5=1da7aa7cbf3068429a403ed6cc3856ee&pid=1-s2.0-S0168007224000228-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140535305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}