×

找到313个文档(结果1-100)

关于(m)-群的半群簇的幂等元。 (英语。俄文原件) Zbl 07763828号

俄罗斯数学。 67,编号6,1-7(2023); Izv的翻译。维什。乌切布。扎韦德。,材料2023,编号6,3-10(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

主题领域的模型理论。二、。 (英语。俄文原件) Zbl 1515.03180号

代数逻辑 61,第4号,341-347(2022); 《代数逻辑学》第61卷第4期第500-510页(2022年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

中间逻辑的扬科夫公式和公理化技术。 (英语) Zbl 07672616号

亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:斯普林格。Outst公司。控制日志。24, 71-124 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可计算的线性顺序和ershov层次结构。 (英语。俄文原件) Zbl 07640111号

俄罗斯数学。 66,编号1,71-74(2022); Izv的翻译。维什。乌切布。扎韦德。,材料2022,编号1,85-89(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可数范畴弱循环极小结构的几乎二元性。 (英语。俄文原件) Zbl 07455561号

数学。笔记 110,编号6,813-829(2021); 翻译自Mat.Zametki 110,No.6,803-823(2021)。
MSC公司:03Cxx号 20亿 06财年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于域上的偏序代数。 (英语。俄文原件) Zbl 1484.06065号

数学杂志。科学。,纽约 245,第2期,285-295(2020); 翻译自Fundam。普里克尔。材料21,第4号,249-263(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Well拟序和层次理论。 (英语) Zbl 1496.03189号

Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 271-319 (2020).
PDF格式BibTeX公司 XML格式引用

具有缺乏可数饱和模型的可分辨子代数的超原子布尔代数理论。 (英语。俄文原件) 兹比尔1481.03017

同胞。数学。J。 61,第3期,516-527(2020); 来自Sib的翻译。材料Zh。61,第3期,654-668(2020年)。
MSC公司:03元50分 05年6月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有可分辨原子集的布尔代数上相对固有的可计算关系。 (英语。俄文原件) Zbl 1481.03018号

同胞。数学。J。 61,第3期,490-498(2020); 来自Sib的翻译。材料Zh。61,第3期,622-633(2020年)。
MSC公司:03C57 05年6月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于具有左模且在生成元之间分离元素的3-生成格的有限性。 (英语。俄文原件) Zbl 1468.06010号

俄罗斯数学。 63,第5号,82-84(2019); Izv的翻译。维什。乌切布。扎韦德。,材料2019,编号5,92-94(2019)。
MSC公司:05年6月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限层前Heyting逻辑中的插值问题。 (英语。俄文原件) Zbl 1468.03030号

代数逻辑 58,第2期,144-157(2019); 摘自《代数逻辑》58,第2期,210-228(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在生成器之间使用标准元素的自由3生成格。 (英语。俄文原件) Zbl 1468.06011号

代数逻辑 57,第6号,399-413(2019); 《代数逻辑》57,第6期,619-638(2018)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生成元之间具有分配元的3-生成格的有限性和无限性。 (英语。俄文原件) Zbl 1481.06025号

同胞。数学。J。 60,第4期,734-740(2019年); 来自Sib的翻译。材料Zh。60,编号41941-948(2019)。
MSC公司:05年6月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

到偏序集的谱理论。 (英语。俄文原件) Zbl 1481.06008号

同胞。数学。J。 60,第3号,450-463(2019); 来自Sib的翻译。材料Zh。60,第3期,578-598(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限域上极化多项式的复杂度下限。 (英语。俄文原件) 1460.94098兹罗提

同胞。数学。J。 60,第1号,第1-9号(2019年); 来自Sib的翻译。材料Zh。60,第1期,第3-13页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于低线性序的可计算表示。 (英语。俄文原件) Zbl 1423.03148号

Lobachevskii J.数学。 39,第9期,1453-1459(2018); 翻译自Uch。扎普。喀山。州立大学。菲兹-Mat.Nauki 159,No.4,518-528(2017)。
MSC公司:03天45分 06年05月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生成元之间具有半正规元和余半正规元的3-生成格的有限性。 (英语。俄文原件) Zbl 1485.06004号

代数逻辑 57,第3期,237-247(2018); 摘自《代数逻辑》57,第3期,362-376(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

素布尔代数的自稳定度。 (英语。俄文原件) Zbl 1485.03107号

代数逻辑 57,第2号,98-114(2018); 《代数逻辑》57,第2期,149-174(2018)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种没有可计算枚举最大链和反链的可计算可枚举偏序。 (英语。俄文原件) Zbl 1507.03098号

同胞。数学。J。 59,第3号,463-469(2018); 来自Sib的翻译。材料Zh。59,第3期,587-595(2018)。
MSC公司:03天45分 06A07年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可计算线性顺序和Ershov层次结构。 (英语。俄文原件) Zbl 1386.03052号

俄罗斯数学。 62,第1号,58-64(2018); Izv的翻译。维什。乌切布。扎维德。,材料2018,第1期,67-74(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义可计算枚举的Rogers半格。 (英语。俄文原件) Zbl 1420.03094号

同胞。数学。J。 58,第6号,1104-1110(2017); 来自Sib的翻译。材料Zh。58,第6期,1418-1427(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

负密集线性订单。 (英语。俄文原件) Zbl 1469.03124号

同胞。数学。J。 58,第6号,1015-1033(2017); 来自Sib的翻译。材料Zh。58,第6期,1306-1331(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份