首页 > 最新文献

Annals of Pure and Applied Logic最新文献

英文 中文
Extender-based Magidor-Radin forcings without top extenders 基于扩展器的Magidor-Radin强制装置,无需顶部扩展器
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-08-01 Epub Date: 2025-03-21 DOI: 10.1016/j.apal.2025.103584
Moti Gitik , Sittinon Jirattikansakul
Continuing [1], 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.
继续[1],我们开发了一个基于扩展器的Magidor-Radin强制版本,其中顶部序数上没有扩展器。作为应用,我们提供了另一种方法来获得不可达基数的俱乐部子集上的SCH失败,并提供了一个基数算术行为不同的平稳类的模型,这些平稳类的联合是俱乐部。枢机主教和俱乐部外的共谋者不受强迫的影响。
{"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-08-01","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
P-measures in models without P-points 没有p点的模型中的p测度
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-07-01 Epub Date: 2025-03-10 DOI: 10.1016/j.apal.2025.103579
Piotr Borodulin-Nadzieja , Jonathan Cancino-Manríquez , Adam Morawski
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 ω product of Silver forcings and that in the model obtained by the countable support ω2-iteration of countable product of Silver forcings there are no P-measures of countable Maharam type.
如果p测度的存在意味着p点的存在,我们就否定地回答这个问题。也就是说,我们表明,如果我们将随机实数添加到某个“唯一p点”模型中,那么在得到的模型中,我们将有一个p测度,但没有p点。此外,我们还研究了在Silver模型中是否存在p测度的问题。我们证明了快速滤波器在由Silver强迫的ω积进行扩展时不能推广到p测度,并且在由Silver强迫的可数积的ω2次迭代得到的模型中不存在可数Maharam型的p测度。
{"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-07-01","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
Completeness in local positive logic 局部正逻辑中的完备性
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-07-01 Epub Date: 2025-04-08 DOI: 10.1016/j.apal.2025.103601
Arturo Rodríguez Fanlo , Ori Segel
We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility).
我们发展了局部积极逻辑的基本模型理论,这是一种混合了积极逻辑(其中否定是不允许的)和局部逻辑(其中模型省略了无限远对的类型)的新逻辑。研究了紧性、正闭性(存在闭性)和完备性(不可约性)等模型理论的基本概念。
{"title":"Completeness in local positive logic","authors":"Arturo Rodríguez Fanlo ,&nbsp;Ori Segel","doi":"10.1016/j.apal.2025.103601","DOIUrl":"10.1016/j.apal.2025.103601","url":null,"abstract":"<div><div>We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic notions such as compactness, positive closedness (existential closedness) and completeness (irreducibility).</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 7","pages":"Article 103601"},"PeriodicalIF":0.6,"publicationDate":"2025-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143820322","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 noether bl -代数和更一般的l -代数的完全不变系统
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-07-01 Epub Date: 2025-03-07 DOI: 10.1016/j.apal.2025.103580
Wolfgang Rump
Main results on BL-algebras, including their classification in the finite case, are reconsidered and extended to a class of L-algebras X with prime factorization, including BL-algebras with ascending chain condition for its lattice. The weighted forest associated with a finite BL-algebra reappears as a canonical L-subalgebra P˜(X) of prime elements in the self-similar closure S(X) where P˜(X) is completely determined by its underlying poset (not necessarily a forest), while the weights are associated with existing powers of the prime elements in X. These invariants determine X within its self-similar closure S(X)=S(P˜(X)). The three basic types of BL-algebras are related to concepts of L-algebras with further-reaching significance in quantum theory.
重新考虑了关于bl -代数的主要结果,包括它们在有限情况下的分类,并将其推广到一类具有素分解的l -代数X,包括其格具有升链条件的bl -代数。与有限bl代数相关的加权森林在自相似闭包S(X)中表现为素数元素的正则l子代数P ~ (X),其中P ~ (X)完全由其基础偏序集(不一定是森林)决定,而权重与X中素数元素的现有幂相关。这些不变量决定了X在其自相似闭包S(X)=S(P ~ (X))内。l -代数的三种基本类型与l -代数的概念有关,在量子理论中具有深远的意义。
{"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-07-01","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
Cardinal characteristics on bounded generalised Baire spaces 有界广义Baire空间上的基数特征
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-07-01 Epub Date: 2025-03-12 DOI: 10.1016/j.apal.2025.103582
Tristan van der Vlugt
We will give an overview of four families of cardinal characteristics defined on subspaces ακb(α) of the generalised Baire space κκ, where κ is strongly inaccessible and bκκ. 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.
我们将概述在广义Baire空间κκ的子空间∏α∈κb(α)上定义的四个基本特征族,其中κ是强不可达的,b∈κκ。所考虑的族是主导、最终差异、本地化和反本地化数及其双基数的有限版本。我们研究了这些基数是非平凡的参数,以及这些基数彼此之间以及与广义cichoski图的其他基数之间的关系。最后,我们证明了不同的参数选择可能导致一致的不同基数。
{"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-07-01","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
Iterated reduced powers of collapsing algebras 塌缩代数的迭代约简幂
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-06-01 Epub Date: 2025-02-28 DOI: 10.1016/j.apal.2025.103567
Miloš S. Kurilić
<div><div><span><math><mrow><mi>rp</mi></mrow><mo>(</mo><mi>B</mi><mo>)</mo></math></span> denotes the reduced power <span><math><msup><mrow><mi>B</mi></mrow><mrow><mi>ω</mi></mrow></msup><mo>/</mo><mi>Φ</mi></math></span> of a Boolean algebra <span><math><mi>B</mi></math></span>, where Φ is the Fréchet filter on <em>ω</em>. We investigate iterated reduced powers (<span><math><msup><mrow><mi>rp</mi></mrow><mrow><mn>0</mn></mrow></msup><mo>(</mo><mi>B</mi><mo>)</mo><mo>=</mo><mi>B</mi></math></span> and <span><math><msup><mrow><mi>rp</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>(</mo><mi>B</mi><mo>)</mo><mo>=</mo><mrow><mi>rp</mi></mrow><mo>(</mo><msup><mrow><mi>rp</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>(</mo><mi>B</mi><mo>)</mo><mo>)</mo></math></span>) of collapsing algebras and our main intention is to classify the algebras <span><math><msup><mrow><mi>rp</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>(</mo><mrow><mi>Col</mi></mrow><mo>(</mo><mi>λ</mi><mo>,</mo><mi>κ</mi><mo>)</mo><mo>)</mo></math></span>, <span><math><mi>n</mi><mo>≥</mo><mn>1</mn></math></span>, up to isomorphism of their Boolean completions. In particular, assuming that SCH and <span><math><mi>h</mi><mo>=</mo><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> hold, we show that for any cardinals <span><math><mi>λ</mi><mo>≥</mo><mi>ω</mi></math></span> and <span><math><mi>κ</mi><mo>≥</mo><mn>2</mn></math></span> such that <span><math><mi>κ</mi><mi>λ</mi><mo>></mo><mi>ω</mi></math></span> and <span><math><mrow><mi>cf</mi></mrow><mo>(</mo><mi>λ</mi><mo>)</mo><mo>≤</mo><mi>c</mi></math></span> we have <span><math><mrow><mi>ro</mi></mrow><mo>(</mo><msup><mrow><mi>rp</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>(</mo><mrow><mi>Col</mi></mrow><mo>(</mo><mi>λ</mi><mo>,</mo><mi>κ</mi><mo>)</mo><mo>)</mo><mo>)</mo><mo>≅</mo><mrow><mi>Col</mi></mrow><mo>(</mo><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msup><mrow><mo>(</mo><msup><mrow><mi>κ</mi></mrow><mrow><mo><</mo><mi>λ</mi></mrow></msup><mo>)</mo></mrow><mrow><mi>ω</mi></mrow></msup><mo>)</mo></math></span>, for each <span><math><mi>n</mi><mo>≥</mo><mn>1</mn></math></span>; more precisely,<span><span><span><math><mrow><mi>ro</mi></mrow><mo>(</mo><msup><mrow><mi>rp</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>(</mo><mrow><mi>Col</mi></mrow><mo>(</mo><mi>λ</mi><mo>,</mo><mi>κ</mi><mo>)</mo><mo>)</mo><mo>)</mo><mo>≅</mo><mrow><mo>{</mo><mtable><mtr><mtd><mrow><mi>Col</mi></mrow><mo>(</mo><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mi>c</mi><mo>)</mo><mo>,</mo><mspace></mspace></mtd><mtd><mtext> if </mtext><msup><mrow><mi>κ</mi></mrow><mrow><mo><</mo><mi>λ</mi></mrow></msup><mo>≤</mo><mi>c</mi><mo>;</mo></mtd></mtr><mtr><mtd><mrow><mi>Col</mi></mrow><mo>(</mo><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msup><mrow><mi>κ</mi></mrow><mrow><mo><</mo><mi>λ</mi></mrow></msup><mo>)</mo><mo>,</mo><mspace></mspa
rp(B)表示布尔代数B的约简幂Bω/Φ,其中Φ是ω上的fr切特滤波器。我们研究了坍缩代数的迭代约简幂(r0 (B)=B和rpn+1(B)=rp(rpn(B))),我们的主要目的是对rpn(Col(λ,κ)), n≥1,直至其布尔补全的同构的代数进行分类。特别地,假设SCH和h=ω1成立,我们证明对于任意基数λ≥ω和κ≥2,使得κλ>;ω和cf(λ)≤c,我们有ro(rpn(Col(λ,κ))) (Col(λ,κ))) (Col(ω1,(κ<λ)ω),对于每个n≥1;更准确地说,ro (rpn (Col(κλ)))≅{坳(ω1 c),如果κ& lt;λ≤c;坳(ω1,κ& lt;λ),如果κ& lt;λ在c∧cf(κ& lt;λ)在ω;坳(ω1,(κ& lt;λ)+),如果κ& lt;λ在c∧cf(κ& lt;λ)=ω。若b=d且0 #不存在,则无论cf(λ)=ω,均成立。
{"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-06-01","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
Tight cofinitary groups 紧共群
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-06-01 Epub Date: 2025-03-04 DOI: 10.1016/j.apal.2025.103570
Vera Fischer , L. Schembecker , David Schrittesser
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 ag=d<c=2 alongside the existence of a Δ31-well-order of the reals and a co-analytic witness for ag.
我们引入了紧共有限群的概念,它描述了一长串偏序的极大共有限群的强制不灭性,包括Cohen, Sacks, Miller, Miller分割强迫和最大理想对角化的Shelah偏集。引入一种新的鲁棒编码技术,我们建立了ag=d<c= λ 2的相对一致性,以及ag的一个Δ31-well-order实数和一个协解析见证的存在。
{"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-06-01","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
Borel sets without perfectly many overlapping translations, III Borel集没有完美的许多重叠翻译,III
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-06-01 Epub Date: 2025-02-21 DOI: 10.1016/j.apal.2025.103565
Andrzej Rosłanowski , Saharon Shelah
We expand the results of Rosłanowski and Shelah [11], [10] to all perfect Abelian Polish groups (H,+). In particular, we show that if α<ω1 and 4k<ω, then there is a ccc forcing notion adding a Σ20 set BH which has α many pairwise k–overlapping translations but not a perfect set of such translations. The technicalities of the forcing construction led us to investigations of the question when, in an Abelian group, XXYY imply that a translation of X or −X is included in Y.
我们将Rosłanowski和Shelah[11],[10]的结果扩展到所有完美的Abelian Polish群(H,+)。特别地,我们证明了如果α<;ω1和4≤k<;ω,则存在一个ccc强迫概念,添加一个Σ20集合B∈H,该集合有多个k对重叠的翻译,但不是一个完美的翻译集。强迫构造的技术性使我们对下述问题进行了研究:在阿贝尔群中,X−X对子Y−Y意味着X或- X的翻译包含在Y中。
{"title":"Borel sets without perfectly many overlapping translations, III","authors":"Andrzej Rosłanowski ,&nbsp;Saharon Shelah","doi":"10.1016/j.apal.2025.103565","DOIUrl":"10.1016/j.apal.2025.103565","url":null,"abstract":"<div><div>We expand the results of Rosłanowski and Shelah <span><span>[11]</span></span>, <span><span>[10]</span></span> to all perfect Abelian Polish groups <span><math><mo>(</mo><mi>H</mi><mo>,</mo><mo>+</mo><mo>)</mo></math></span>. In particular, we show that if <span><math><mi>α</mi><mo>&lt;</mo><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><mn>4</mn><mo>≤</mo><mi>k</mi><mo>&lt;</mo><mi>ω</mi></math></span>, then there is a ccc forcing notion adding a <span><math><msubsup><mrow><mi>Σ</mi></mrow><mrow><mn>2</mn></mrow><mrow><mn>0</mn></mrow></msubsup></math></span> set <span><math><mi>B</mi><mo>⊆</mo><mi>H</mi></math></span> which has <span><math><msub><mrow><mi>ℵ</mi></mrow><mrow><mi>α</mi></mrow></msub></math></span> many pairwise <em>k</em>–overlapping translations but not a perfect set of such translations. The technicalities of the forcing construction led us to investigations of the question when, in an Abelian group, <span><math><mi>X</mi><mo>−</mo><mi>X</mi><mo>⊆</mo><mi>Y</mi><mo>−</mo><mi>Y</mi></math></span> imply that a translation of <em>X</em> or −<em>X</em> is included in <em>Y</em>.</div></div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":"176 6","pages":"Article 103565"},"PeriodicalIF":0.6,"publicationDate":"2025-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143547844","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区 数学 Q2 LOGIC Pub Date : 2025-06-01 Epub Date: 2025-03-03 DOI: 10.1016/j.apal.2025.103566
V. Fischer , L. Schembecker
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.
We then prove that every combinatorial family of reals of arithmetical type which is indestructible by the product of Sacks forcing S0 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 CH 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 CH.
本文引入了实数组合族的算术类型的概念,用于推广组合集理论中常见的疯狂族、极大共有限群、超滤基、分裂族以及其他类似类型的族。然后,我们证明了每一个算术型实数组合族,如果它是由Sacks强迫S的乘积不能被破坏的,那么它实际上是普遍的Sacks-不可破坏的,即它是由任何长度的Sacks强迫的可数支持迭代或乘积不能被破坏的。进一步,在CH条件下,我们给出了各种算术类型族的普遍sacks -不可灭族的统一构造。特别地,我们证明了CH下一个普遍的sacks -不可破极大共群的存在性。
{"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-06-01","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
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces Banach空间上的有限Kronecker引理和强数定律中的大偏差
IF 0.6 2区 数学 Q2 LOGIC Pub Date : 2025-06-01 Epub Date: 2025-03-04 DOI: 10.1016/j.apal.2025.103569
Morenikeji Neri
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 p 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.
我们通过证明挖掘的证明论视角探索克罗内克两难的计算内容,并利用这一基本结果的有限变体,为在 p 型巴拿赫空间取值的随机变量的强大数定律提供新的速率,特别是在不依赖于随机变量分布的意义上,这种速率是非常均匀的。此外,我们还提供了可计算性理论论据来证明克罗内克∞的无效性,并从逆数学的角度研究了这一结果。此外,我们还提供了一个构造,说明可计算的收敛率并不总是可能的,以此证明克罗内克两难的无效性是如何向下渗透到大数强律的。最后,我们证明了克罗内克两难如何属于一类确定性公式,其辩证解释的解满足连续性属性,以及对于这类公式,我们如何获得一个升级原理,允许我们将确定性结果的计算解释提升为其概率类似的定量结果。这一结果概括了作者和皮施克之前的工作。
{"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-06-01","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
期刊
Annals of Pure and Applied Logic
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1