加拉尤、米海;拉切尔·哈博 将Putnam问题扩展到具有各种特征的领域。 (英语) Zbl 1513.11087号 JP J.代数数论应用。 59, 33-45 (2022).MSC公司:11B75号 03C07号机组 97 u40 PDF格式BibTeX公司 XML格式引用 \textit{M.Caragiu}和\textit{R.Harbaugh},JP J.代数数论应用。59、33-45(2022年;Zbl 1513.11087) 全文: 内政部
德米特里·尤尔耶维奇 张量积理论的二进制隔离公式代数。 (英语) Zbl 07615833号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 41, 131-139 (2022).MSC公司:03C07号机组 03C60型 PDF格式BibTeX公司 XML格式引用 \文本{D.Y.Emel'yanov},Izv。伊尔库茨克。戈斯。州立大学。材料41、131--139(2022;Zbl 07615833) 全文: 内政部 链接
贝诺·莫宁;卢多维奇·佩蒂 可计算性。随机性、逆向数学和超可计算性。(Calculabilité.Aléatoire,mathematiquesárebours et hypercalculabiliteé) (法语) Zbl 1516.03001号 黑表面包107.巴黎:Calvage et Mounet(ISBN 978-2-916352-96-1/hbk)。第二十二、828页。(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03-01 68-01 03年月日 03B10号机组 03C07号机组 03B30型 第03页第35页 03F40型 03天80 04年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{L.Patey},可计算性。Aléatoire,数学题与高可计算性。巴黎:Calvage et Mounet(2022;Zbl 1516.03001)
亚纳·鲁梅诺娃;廷切夫、廷科 模态可定义性:两个交换等价关系。 (英语) Zbl 07580915号 日志。Univers大学。 16,编号1-2,177-194(2022).MSC公司:03-02 03C07号机组 03C13号机组 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rumenova}和\textit{T.Tinchev},日志。Univers大学。16,编号1--2,177--194(2022;Zbl 07580915) 全文: 内政部
伊万诺·齐亚德利;吉安卢卡·格里莱蒂 好奇的一阶逻辑中的一致性。 (英语) Zbl 07566289号 Ann.纯粹应用。逻辑 173,第9期,文章ID 103155,39 p.(2022).MSC公司:03B45号 03B55号 03B60号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli}和\textit{G.Grilletti},Ann.纯应用。逻辑173,第9号,文章ID 103155,39页(2022;Zbl 07566289) 全文: 内政部 链接
以斯帖·埃尔巴兹 无循环配对函数的Grothendieck环。 (英语) Zbl 07556129号 圣母院J.形式逻辑 63,第2期,165-184(2022).MSC公司:03C07号机组 03C10号机组 03C98号 08C10号 PDF格式BibTeX公司 XML格式引用 \textit{E.Elbaz},圣母院J.形式逻辑63,No.2,165--184(2022;Zbl 07556129) 全文: 内政部 arXiv公司
伊万·瓦西里耶维奇,拉特金 可判定理论的识别复杂性。 (英语) Zbl 1499.03031号 欧亚数学。J。 13,编号1,44-68(2022).MSC公司:2015年3月1日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Latkin},欧亚数学。J.13,第1号,44--68(2022;Zbl 1499.03031) 全文: 内政部 MNR公司
谢尔盖·弗拉基米洛维奇(Sergey Vladimirovich Sudoplatov) 公式的特殊关系、等价关系和理论。 (英语) Zbl 07544345号 同胞。Élektron。Mat.Izv公司。 19,第1号,259-272(2022).MSC公司:03C07号机组 03C10号机组 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sudoplatov},西布。Élektron。Mat.Izv公司。19,第1号,259--272(2022;Zbl 07544345)
佩雷塔特金,M.G。 有限富签名的谓词计算之间的虚拟代数同构。 (英语。俄文原件) Zbl 1515.03166号 代数逻辑 60,编号6,389-406(2022); 《代数逻辑学》60,第6期,587-611(2021)的译文。MSC公司:03C57号 03C07号机组 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat'kin},代数逻辑60,No.6389--406(2022;Zbl 1515.03166);《代数逻辑60》第6期第587--611页(2021年)的译文 全文: 内政部
威尔·约翰逊 虚排序中一致有限性的准则。 (英语) Zbl 07541625号 拱门。数学。逻辑 61,编号3-4,583-589(2022).MSC公司:03C07号机组 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{W.约翰逊},Arch。数学。逻辑61,编号3--4,583--589(2022;Zbl 07541625) 全文: 内政部 arXiv公司
马利什金,Y.A。;朱可夫斯基,M.E。 \均匀附着随机图的(gamma)-变量一阶逻辑。 (英语) Zbl 1491.05171号 离散数学。 345,第5号,文章ID 112802,12页(2022). 审核人:阿格内斯·巴克豪斯(布达佩斯) MSC公司:05C80号 05C12号 05C38号 03C07号机组 03B10号机组 60层20 05第57页 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Malyshkin}和\textit{M.E.朱可夫斯基},离散数学。345,第5号,文章ID 112802,12页(2022;Zbl 1491.05171) 全文: 内政部 arXiv公司
罗素·米勒;亚历山德拉·施拉彭托克 特征为0的函数环的c.e.子集的存在性定义。 (英语) Zbl 1484.11229号 Ann.纯粹应用。逻辑 173,第4期,文章ID 103076,50页(2022).MSC公司:11单元09 05年11月 03B25号 03C07号机组 11卢比 13甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Miller}和\textit{A.Shlapentokh},Ann.Pure Appl。逻辑173,第4号,文章ID 103076,50页(2022;Zbl 1484.11229) 全文: 内政部 arXiv公司
贝尔布特·沙伊科维奇·库尔普肖夫;谢尔盖·弗拉基米罗维奇 强极小理论族秩的性质。 (英语) Zbl 07483038号 同胞。Élektron。Mat.Izv公司。 19,第1号,120-124(2022).MSC公司:03C07号机组 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Kulpeshov}和\textit{S.V.Sudoplatov},Sib。Élektron。Mat.Izv公司。19,编号1,120-124(2022;Zbl 07483038) 全文: 内政部
Väänänen,佐科 逻辑游戏的战略平衡。 arXiv:2212.01658 预打印,arXiv:2212.01658[math.LO](2022)。MSC公司:03C07号机组 BibTeX公司 引用 \textit{J.Väänänen},“逻辑游戏的战略平衡”,预印本,arXiv:2212.01658[math.LO](2022) 全文: arXiv公司 OA许可证
秦云飞 一阶逻辑语义的拓扑表示及其在模型理论中的应用。 arXiv公司:2210.09239 预打印,arXiv:2210.09239[math.LO](2022)。MSC公司:03C07号机组 2015年6月 03C95号 03G15年 54E99型 BibTeX公司 引用 \textit{Y.Qin},“一阶逻辑语义的拓扑表示及其在模型理论中的应用”,预印本,arXiv:2210.09239[math.LO](2022) 全文: arXiv公司 OA许可证
亚当·戴,萨姆 电势系统的相互模拟。 arXiv:2206.10359 预印本,arXiv:2206.10359[math.LO](2022)。MSC公司:03B45号 03C07号机组 03C75号 BibTeX公司 引用 \textit{S.Adam Day},“潜在系统的双模拟”,预印本,arXiv:2206.10359[math.LO](2022) 全文: arXiv公司 OA许可证