Annals of Pure and Applied Logic最新文献

筛选
英文 中文
Extender-based Magidor-Radin forcings without top extenders
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-21 DOI: 10.1016/j.apal.2025.103584
Moti Gitik , Sittinon Jirattikansakul
{"title":"Extender-based Magidor-Radin forcings without top extenders","authors":"Moti Gitik ,&nbsp;Sittinon Jirattikansakul","doi":"10.1016/j.apal.2025.103584","DOIUrl":"10.1016/j.apal.2025.103584","url":null,"abstract":"<div><div>Continuing <span><span>[1]</span></span>, we develop a version of Extender-based Magidor-Radin forcing where there are no extenders on the top ordinal. As an application, we provide another approach to obtain a failure of SCH on a club subset of an inaccessible cardinal, and a model where the cardinal arithmetic behaviors are different on stationary classes, whose union is the club, is provided. The cardinals and the cofinalities outside the clubs are not affected by the forcings.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 8","pages":"Article 103584"},"PeriodicalIF":0.6,"publicationDate":"2025-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143760627","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}
引用次数: 0
Upward Löwenheim-Skolem-Tarski numbers for abstract logics
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-19 DOI: 10.1016/j.apal.2025.103583
Victoria Gitman , Jonathan Osinski
{"title":"Upward Löwenheim-Skolem-Tarski numbers for abstract logics","authors":"Victoria Gitman ,&nbsp;Jonathan Osinski","doi":"10.1016/j.apal.2025.103583","DOIUrl":"10.1016/j.apal.2025.103583","url":null,"abstract":"<div><div>Galeotti, Khomskii and Väänänen recently introduced the notion of the upward Löwenheim-Skolem-Tarski number for a logic, strengthening the classical notion of a Hanf number. A cardinal <em>κ</em> is the <em>upward Löwenheim-Skolem-Tarski number</em> (ULST <em>number</em>) of a logic <span><math><mi>L</mi></math></span> if it is the least cardinal with the property that whenever <em>M</em> is a model of size at least <em>κ</em> satisfying a sentence <em>φ</em> in <span><math><mi>L</mi></math></span>, then there are arbitrarily large models satisfying <em>φ</em> and having <em>M</em> as a substructure. The substructure requirement is what differentiates the ULST number from the Hanf number and gives the notion large cardinal strength. While it is a theorem of ZFC that every logic has a Hanf number, Galeotti, Khomskii and Väänänen showed that the existence of the ULST number for second-order logic implies the existence of a partially extendible cardinal. We answer positively their conjecture that the ULST number for second-order logic is the least extendible cardinal.</div><div>We define the <em>strong</em> ULST number by strengthening the substructure requirement to elementary substructure. We investigate the ULST and strong ULST numbers for several classical strong logics: infinitary logics, the equicardinality logic, logic with the well-foundedness quantifier, second-order logic, and sort logics. We show that the ULST and the strong ULST numbers are characterized in some cases by classical large cardinals and in some cases by natural new large cardinal notions that they give rise to. We show that for some logics the notions of the ULST number, strong ULST number and least strong compactness cardinal coincide, while for others, it is consistent that they can be separated. Finally, we introduce a natural large cardinal notion characterizing strong compactness cardinals for the equicardinality logic.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 8","pages":"Article 103583"},"PeriodicalIF":0.6,"publicationDate":"2025-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143748012","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}
引用次数: 0
Cardinal characteristics on bounded generalised Baire spaces
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-12 DOI: 10.1016/j.apal.2025.103582
Tristan van der Vlugt
{"title":"Cardinal characteristics on bounded generalised Baire spaces","authors":"Tristan van der Vlugt","doi":"10.1016/j.apal.2025.103582","DOIUrl":"10.1016/j.apal.2025.103582","url":null,"abstract":"<div><div>We will give an overview of four families of cardinal characteristics defined on subspaces <span><math><msub><mrow><mo>∏</mo></mrow><mrow><mi>α</mi><mo>∈</mo><mi>κ</mi></mrow></msub><mi>b</mi><mo>(</mo><mi>α</mi><mo>)</mo></math></span> of the generalised Baire space <span><math><mmultiscripts><mrow><mi>κ</mi></mrow><mprescripts></mprescripts><none></none><mrow><mi>κ</mi></mrow></mmultiscripts></math></span>, where <em>κ</em> is strongly inaccessible and <span><math><mi>b</mi><mo>∈</mo><msup><mrow></mrow><mrow><mi>κ</mi></mrow></msup><mi>κ</mi></math></span>. The considered families are bounded versions of the dominating, eventual difference, localisation and antilocalisation numbers, and their dual cardinals. We investigate parameters for which these cardinals are nontrivial and how the cardinals relate to each other and to other cardinals of the generalised Cichoń diagram. Finally we prove that different choices of parameters may lead to consistently distinct cardinals.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 7","pages":"Article 103582"},"PeriodicalIF":0.6,"publicationDate":"2025-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143686230","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}
引用次数: 0
P-measures in models without P-points
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-10 DOI: 10.1016/j.apal.2025.103579
Piotr Borodulin-Nadzieja , Jonathan Cancino-Manríquez , Adam Morawski
{"title":"P-measures in models without P-points","authors":"Piotr Borodulin-Nadzieja ,&nbsp;Jonathan Cancino-Manríquez ,&nbsp;Adam Morawski","doi":"10.1016/j.apal.2025.103579","DOIUrl":"10.1016/j.apal.2025.103579","url":null,"abstract":"<div><div>We answer in negative the problem if the existence of a P-measure implies the existence of a P-point. Namely, we show that if we add random reals to a certain ‘unique P-point’ model, then in the resulting model we will have a P-measure but not P-points. Also, we investigate the question if there is a P-measure in the Silver model. We show that rapid filters cannot be extended to a P-measure in the extension by <em>ω</em> product of Silver forcings and that in the model obtained by the countable support <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-iteration of countable product of Silver forcings there are no P-measures of countable Maharam type.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 7","pages":"Article 103579"},"PeriodicalIF":0.6,"publicationDate":"2025-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143643186","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}
引用次数: 0
A complete invariant system for noetherian BL-algebras and more general L-algebras
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-07 DOI: 10.1016/j.apal.2025.103580
Wolfgang Rump
{"title":"A complete invariant system for noetherian BL-algebras and more general L-algebras","authors":"Wolfgang Rump","doi":"10.1016/j.apal.2025.103580","DOIUrl":"10.1016/j.apal.2025.103580","url":null,"abstract":"<div><div>Main results on <em>BL</em>-algebras, including their classification in the finite case, are reconsidered and extended to a class of <em>L</em>-algebras <em>X</em> with prime factorization, including <em>BL</em>-algebras with ascending chain condition for its lattice. The weighted forest associated with a finite <em>BL</em>-algebra reappears as a canonical <em>L</em>-subalgebra <span><math><mover><mrow><mi>P</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>X</mi><mo>)</mo></math></span> of prime elements in the self-similar closure <span><math><mi>S</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span> where <span><math><mover><mrow><mi>P</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is completely determined by its underlying poset (not necessarily a forest), while the weights are associated with existing powers of the prime elements in <em>X</em>. These invariants determine <em>X</em> within its self-similar closure <span><math><mi>S</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><mi>S</mi><mo>(</mo><mover><mrow><mi>P</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>X</mi><mo>)</mo><mo>)</mo></math></span>. The three basic types of <em>BL</em>-algebras are related to concepts of <em>L</em>-algebras with further-reaching significance in quantum theory.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 7","pages":"Article 103580"},"PeriodicalIF":0.6,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143620540","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}
引用次数: 0
Tight cofinitary groups
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-04 DOI: 10.1016/j.apal.2025.103570
Vera Fischer , L. Schembecker , David Schrittesser
{"title":"Tight cofinitary groups","authors":"Vera Fischer ,&nbsp;L. Schembecker ,&nbsp;David Schrittesser","doi":"10.1016/j.apal.2025.103570","DOIUrl":"10.1016/j.apal.2025.103570","url":null,"abstract":"<div><div>We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for diagonalizing maximal ideals. Introducing a new robust coding technique, we establish the relative consistency of <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>=</mo><mi>d</mi><mo>&lt;</mo><mi>c</mi><mo>=</mo><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> alongside the existence of a <span><math><msubsup><mrow><mi>Δ</mi></mrow><mrow><mn>3</mn></mrow><mrow><mn>1</mn></mrow></msubsup></math></span>-well-order of the reals and a co-analytic witness for <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>g</mi></mrow></msub></math></span>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103570"},"PeriodicalIF":0.6,"publicationDate":"2025-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143601168","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}
引用次数: 0
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-04 DOI: 10.1016/j.apal.2025.103569
Morenikeji Neri
{"title":"A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces","authors":"Morenikeji Neri","doi":"10.1016/j.apal.2025.103569","DOIUrl":"10.1016/j.apal.2025.103569","url":null,"abstract":"<div><div>We explore the computational content of Kronecker's lemma via the proof-theoretic perspective of proof mining and utilise the resulting finitary variant of this fundamental result to provide new rates for the Strong Law of Large Numbers for random variables taking values in type <em>p</em> Banach spaces, which in particular are very uniform in the sense that they do not depend on the distribution of the random variables. Furthermore, we provide computability-theoretic arguments to demonstrate the ineffectiveness of Kronecker's lemma and investigate the result from the perspective of Reverse Mathematics. In addition, we demonstrate how this ineffectiveness from Kronecker's lemma trickles down to the Strong Law of Large Numbers by providing a construction that shows that computable rates of convergence are not always possible. Lastly, we demonstrate how Kronecker's lemma falls under a class of deterministic formulas whose solution to their Dialectica interpretation satisfies a continuity property and how, for such formulas, one obtains an upgrade principle that allows one to lift computational interpretations of deterministic results to quantitative results for their probabilistic analogue. This result generalises the previous work of the author and Pischke.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103569"},"PeriodicalIF":0.6,"publicationDate":"2025-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143562528","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}
引用次数: 0
Universally Sacks-indestructible combinatorial families of reals
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-03-03 DOI: 10.1016/j.apal.2025.103566
V. Fischer , L. Schembecker
{"title":"Universally Sacks-indestructible combinatorial families of reals","authors":"V. Fischer ,&nbsp;L. Schembecker","doi":"10.1016/j.apal.2025.103566","DOIUrl":"10.1016/j.apal.2025.103566","url":null,"abstract":"<div><div>We introduce the notion of an arithmetical type of combinatorial family of reals, which serves to generalize different types of families such as mad families, maximal cofinitary groups, ultrafilter bases, splitting families and other similar types of families commonly studied in combinatorial set theory.</div><div>We then prove that every combinatorial family of reals of arithmetical type which is indestructible by the product of Sacks forcing <span><math><msup><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msup></math></span> is in fact universally Sacks-indestructible, i.e. it is indestructible by any countably supported iteration or product of Sacks-forcing of any length. Further, under <span><math><mi>CH</mi></math></span> we present a unified construction of universally Sacks-indestructible families for various arithmetical types of families. In particular we prove the existence of a universally Sacks-indestructible maximal cofinitary group under <span><math><mi>CH</mi></math></span>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103566"},"PeriodicalIF":0.6,"publicationDate":"2025-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143562527","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}
引用次数: 0
Iterated reduced powers of collapsing algebras
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-02-28 DOI: 10.1016/j.apal.2025.103567
Miloš S. Kurilić
{"title":"Iterated reduced powers of collapsing algebras","authors":"Miloš S. Kurilić","doi":"10.1016/j.apal.2025.103567","DOIUrl":"10.1016/j.apal.2025.103567","url":null,"abstract":"&lt;div&gt;&lt;div&gt;&lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; denotes the reduced power &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;/&lt;/mo&gt;&lt;mi&gt;Φ&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; of a Boolean algebra &lt;span&gt;&lt;math&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, where Φ is the Fréchet filter on &lt;em&gt;ω&lt;/em&gt;. We investigate iterated reduced powers (&lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;) of collapsing algebras and our main intention is to classify the algebras &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;, &lt;span&gt;&lt;math&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, up to isomorphism of their Boolean completions. In particular, assuming that SCH and &lt;span&gt;&lt;math&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; hold, we show that for any cardinals &lt;span&gt;&lt;math&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; such that &lt;span&gt;&lt;math&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;&gt;&lt;/mo&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;cf&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; we have &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;ro&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;≅&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;, for each &lt;span&gt;&lt;math&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;; more precisely,&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;ro&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;rp&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;≅&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mtable&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;/mtd&gt;&lt;mtd&gt;&lt;mtext&gt; if &lt;/mtext&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;c&lt;/mi&gt;&lt;mo&gt;;&lt;/mo&gt;&lt;/mtd&gt;&lt;/mtr&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mi&gt;Col&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ω&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;κ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mspace&gt;&lt;/mspa","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103567"},"PeriodicalIF":0.6,"publicationDate":"2025-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143547846","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}
引用次数: 0
Automorphism groups of prime models, and invariant measures
IF 0.6 2区 数学
Annals of Pure and Applied Logic Pub Date : 2025-02-28 DOI: 10.1016/j.apal.2025.103568
Anand Pillay
{"title":"Automorphism groups of prime models, and invariant measures","authors":"Anand Pillay","doi":"10.1016/j.apal.2025.103568","DOIUrl":"10.1016/j.apal.2025.103568","url":null,"abstract":"<div><div>We adapt the notion from <span><span>[7]</span></span> and <span><span>[2]</span></span> of a (relatively) definable subset of <span><math><mi>A</mi><mi>u</mi><mi>t</mi><mo>(</mo><mi>M</mi><mo>)</mo></math></span> when <em>M</em> is a saturated structure, to the case <span><math><mi>A</mi><mi>u</mi><mi>t</mi><mo>(</mo><mi>M</mi><mo>/</mo><mi>A</mi><mo>)</mo></math></span> when <em>M</em> is atomic and strongly <em>ω</em>-homogeneous (over a set <em>A</em>). We discuss the existence and uniqueness of invariant measures on the Boolean algebra of definable subsets of <span><math><mi>A</mi><mi>u</mi><mi>t</mi><mo>(</mo><mi>M</mi><mo>/</mo><mi>A</mi><mo>)</mo></math></span>. For example when <em>T</em> is stable, we have existence and uniqueness.</div><div>We also discuss the compatibility of our definability notions with definable Galois cohomology from <span><span>[12]</span></span> and differential Galois theory.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103568"},"PeriodicalIF":0.6,"publicationDate":"2025-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143547845","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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信