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

Algebra and Logic最新文献

筛选
英文 中文
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
Skew-Symmetric Identities of Finitely Generated Alternative Algebras 有限生成替代代数的斜对称同一性
IF 0.4 3区 数学
Algebra and Logic Pub Date : 2024-04-18 DOI: 10.1007/s10469-024-09740-7
I. P. Shestakov
{"title":"Skew-Symmetric Identities of Finitely Generated Alternative Algebras","authors":"I. P. Shestakov","doi":"10.1007/s10469-024-09740-7","DOIUrl":"10.1007/s10469-024-09740-7","url":null,"abstract":"<p>We prove that for every natural number n, there exists a natural number <i>N</i> (<i>n</i>) such that every multilinear skew-symmetric polynomial in <i>N</i> (<i>n</i>) or more variables which vanishes in the free associative algebra also vanishes in any <i>n</i>-generated alternative algebra over a field of characteristic 0. Previously, a similar result was proved only for a series of skew-symmetric polynomials constructed by I. P. Shestakov in [Algebra and Logic, <b>16</b>, No. 2, 153-166 (1977)].</p>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"62 3","pages":"257 - 265"},"PeriodicalIF":0.4,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140612565","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学术文献互助群
群 号：604180095
Book学术官方微信