发布求助
文献互助 智能选刊 最新文献

Algebra and Logic最新文献

筛选
英文 中文
Decidable Categoricity Spectra for Almost Prime Models 几乎质数模型的可判定分类谱系
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-07-30 DOI: 10.1007/s10469-024-09746-1
N. A. Bazhenov, M. I. Marchuk
{"title":"Decidable Categoricity Spectra for Almost Prime Models","authors":"N. A. Bazhenov,&nbsp;M. I. Marchuk","doi":"10.1007/s10469-024-09746-1","DOIUrl":"10.1007/s10469-024-09746-1","url":null,"abstract":"<p>We study decidable categoricity spectra for almost prime models. For any computable collection {D<sub>i</sub>}<sub>i∈ω</sub>, where D<sub>i</sub> either is a c.e. set or D<sub>i</sub> = PA, we construct a sequence of almost prime models {<span>({mathcal{M}}_{i})</span>}<sub>i∈ω</sub> elementarily embedded in each other, in which case for any i there exists a finite collection of constants such that the model <span>({mathcal{M}}_{i})</span> in the expansion by these constants has degree of decidable categoricity deg<sub>T</sub> (D<sub>i</sub>), if D<sub>i</sub> is a c.e. set, and has no degree of decidable categoricity if D<sub>i</sub> = PA. The result obtained extends that of S. S. Goncharov, V. Harizanov, and R. Miller [Sib. Adv. Math., 30, No. 3, 200-212 (2020)].</p>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 4","pages":"291 - 302"},"PeriodicalIF":0.4,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141873323","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sessions of the Seminar “Algebra i Logika” 代数与逻辑 "研讨会课程
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-07-27 DOI: 10.1007/s10469-024-09752-3
{"title":"Sessions of the Seminar “Algebra i Logika”","authors":"","doi":"10.1007/s10469-024-09752-3","DOIUrl":"10.1007/s10469-024-09752-3","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 4","pages":"376 - 377"},"PeriodicalIF":0.4,"publicationDate":"2024-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142414270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Complexity of the Problem of ∀-Representation for Sentences 句子∀-表示问题的复杂性
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-07-27 DOI: 10.1007/s10469-024-09751-4
N. T. Kogabaev
{"title":"Complexity of the Problem of ∀-Representation for Sentences","authors":"N. T. Kogabaev","doi":"10.1007/s10469-024-09751-4","DOIUrl":"10.1007/s10469-024-09751-4","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 4","pages":"372 - 375"},"PeriodicalIF":0.4,"publicationDate":"2024-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141797562","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Von Neumann Regular Hyperrings and Applications to Real Reduced Multirings 冯-诺依曼正则超环及其在实还原多重环中的应用
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-05-09 DOI: 10.1007/s10469-024-09739-0
H. R. O. Ribeiro, H. L. Mariano
{"title":"Von Neumann Regular Hyperrings and Applications to Real Reduced Multirings","authors":"H. R. O. Ribeiro,&nbsp;H. L. Mariano","doi":"10.1007/s10469-024-09739-0","DOIUrl":"10.1007/s10469-024-09739-0","url":null,"abstract":"<p>A multiring is a ring-like structure where the sum is multivalued and a hyperring is a multiring with a strong distributive property. With every multiring we associate a structural presheaf, and when that presheaf is a sheaf, we say that the multiring is geometric. A characterization of geometric von Neumann hyperrings is presented. And we build a von Neumann regular hull for multirings which is used in applications to algebraic theory of quadratic forms. Namely, we describe the functor Q, introduced by M. Marshall in [J. Pure Appl. Alg., <b>205</b>, No. 2, 452-468 (2006)], as a left adjoint functor for the natural inclusion of the category of real reduced multirings (similar to real semigroups) into the category of preordered multirings and explore some of its properties. Next, we employ sheaf-theoretic methods to characterize real reduced hyperrings as certain geometric von Neumann regular real hyperrings and construct the functor V , a geometric von Neumann regular hull for a multiring. Finally, we look at some interesting logical and algebraic interactions between the functors Q and V that are useful for describing hyperrings in the image of the functor Q and that will allow us to explore the theory of quadratic forms for (formally) real semigroups.</p>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"215 - 256"},"PeriodicalIF":0.4,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140933959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Order Positive Fields. I 订购积极领域。I
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-22 DOI: 10.1007/s10469-024-09738-1
M. V. Korovina, O. V. Kudinov
{"title":"Order Positive Fields. I","authors":"M. V. Korovina,&nbsp;O. V. Kudinov","doi":"10.1007/s10469-024-09738-1","DOIUrl":"10.1007/s10469-024-09738-1","url":null,"abstract":"<p>The notion of a computable structure based on numberings with decidable equality is well established with a number of prominent results. Nevertheless, applied to strictly ordered fields, it fails to capture some natural properties and constructions for which decidability of equality is not assumed. For example, the field of primitive recursive real numbers is not computable, and there exists a computable real closed field with noncomputable maximal Archimedean subfields. We introduce the notion of an order positive field which aims to overcome these limitations. A general criterion is presented which decides when an Archimedean field is order positive. Using this criterion, we show that the field of primitive recursive real numbers is order positive and that the Archimedean parts of order positive real closed fields are order positive. We also state a program for further research.</p>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"203 - 214"},"PeriodicalIF":0.4,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140675957","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pretabularity and Craig’s Interpolation Property 预圆周率和克雷格插值特性
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-19 DOI: 10.1007/s10469-024-09742-5
L. L. Maksimova, V. F. Yun
{"title":"Pretabularity and Craig’s Interpolation Property","authors":"L. L. Maksimova,&nbsp;V. F. Yun","doi":"10.1007/s10469-024-09742-5","DOIUrl":"10.1007/s10469-024-09742-5","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"277 - 282"},"PeriodicalIF":0.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140682811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sessions of the Seminar “Algebra i Logika” 代数与逻辑 "研讨会课程
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-19 DOI: 10.1007/s10469-024-09745-2
{"title":"Sessions of the Seminar “Algebra i Logika”","authors":"","doi":"10.1007/s10469-024-09745-2","DOIUrl":"10.1007/s10469-024-09745-2","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"289 - 290"},"PeriodicalIF":0.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142412377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multi-Agent Temporal Logics, Information, Unification, and Projectivity 多代理时态逻辑、信息、统一和投射性
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-19 DOI: 10.1007/s10469-024-09743-4
V. V. Rybakov
{"title":"Multi-Agent Temporal Logics, Information, Unification, and Projectivity","authors":"V. V. Rybakov","doi":"10.1007/s10469-024-09743-4","DOIUrl":"10.1007/s10469-024-09743-4","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"283 - 288"},"PeriodicalIF":0.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140683156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Baer–Suzuki Theorem for Groups of 3-Exponent 1 3 分 1 群的贝尔-铃木定理
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-19 DOI: 10.1007/s10469-024-09744-3
J. Tang, N. Yang, A. S. Mamontov
{"title":"The Baer–Suzuki Theorem for Groups of 3-Exponent 1","authors":"J. Tang,&nbsp;N. Yang,&nbsp;A. S. Mamontov","doi":"10.1007/s10469-024-09744-3","DOIUrl":"10.1007/s10469-024-09744-3","url":null,"abstract":"<p>We prove a theorem that generalizes Lemma 4 in the paper of A. S. Mamontov [Sib. Math. J., <b>54</b>, No. 1, 114-118 (2013)] concerning the validity of the Baer–Suzuki theorem in groups of period 12. The results of the present work can be used in studying groups with a given set of element orders, also called a spectrum.</p>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"266 - 271"},"PeriodicalIF":0.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140623438","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Faithful Representations of Finite Type for Conformal Lie Algebras 共形李代数的有限类型忠实表示
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-19 DOI: 10.1007/s10469-024-09741-6
R. A. Kozlov
{"title":"Faithful Representations of Finite Type for Conformal Lie Algebras","authors":"R. A. Kozlov","doi":"10.1007/s10469-024-09741-6","DOIUrl":"10.1007/s10469-024-09741-6","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"272 - 276"},"PeriodicalIF":0.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140685134","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","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学术官方微信