萨拉、撒哈拉 一般非结构理论。 (英语) Zbl 07787396号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。217-287(2023年)。MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。217--287(2023年;Zbl 07787396) 全文: 内政部 arXiv公司
凯斯勒,H.杰罗姆 实值结构的模型理论。 (英语) Zbl 07787395号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。43-101 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Keisler},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。43-101(2023年;Zbl 07787395) 全文: 内政部 arXiv公司
泽维尔·凯塞多;爱德华多·德涅兹;约瑟·爱奥维诺 亚稳定收敛和逻辑紧性。 (英语) Zbl 07787393号 Iovino,José(编辑),超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。3-41 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人,in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。3-41(2023年;Zbl 07787393) 全文: 内政部 arXiv公司
克洛维斯·哈梅尔;富兰克林·D·塔尔。 \模型理论家的(C_p)理论。 (英语) Zbl 07787392号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。177-214 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{C.Hamel}和\textit{F.D.Tall},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。177-214(2023年;Zbl 07787392) 全文: 内政部 arXiv公司
艾萨克·戈德布林 光谱间隙和可定义性。 (英语) Zbl 07787391号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。103-137 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{I.Goldbring},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。103-137(2023;Zbl 07787391) 全文: 内政部 arXiv公司
萨拉、撒哈拉 Lf群,aec融合,少数自同构。 (英语) Zbl 07787389号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。141-173 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。141-173(2023年;Zbl 07787389) 全文: 内政部 arXiv公司
Väänänen,佐科 二阶逻辑的模型理论。 (英语) Zbl 07787388号 JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。291-306 (2023).MSC公司:03C48号 03C07号机组 03C30号 03元50分 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen},in:超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。291--306(2023年;Zbl 07787388) 全文: 内政部
豪厄尔,卡琳·特蕾斯;夏洛特·凯斯特纳 交换近向量空间的模型理论。 (英语) Zbl 07719615号 奎斯特。数学。 46,第7期,1393-1414(2023). 审核人:Stefan Veldsman(伊丽莎白港) MSC公司:2016年30月 12K05型 03C45号机组 03C60型 03C07号机组 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.-T.Howell}和\textit{C.Kestner},奎斯特。数学。46,编号7,1393-1414(2023;Zbl 07719615) 全文: 内政部 arXiv公司
约瑟·爱奥维诺(编辑) 超越一阶模型理论。第二卷。 (英语) Zbl 1523.03002号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-20826-4/hbk;978-0-367-20836-3/套;978-0-429-26363-7/电子书)。xix,第306页。(2023).MSC公司:03-06 03C48号 03C07号机组 03C30号 03元50分 03C85号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Iovino}(编辑),超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社(2023;Zbl 1523.03002) 全文: 内政部
马克·坎斯玛 在正逻辑中键入空间函子和解释。 (英语) Zbl 07680013号 架构(architecture)。数学。逻辑 62,编号1-2,1-28(2023).MSC公司:03C07号机组 03B20型 03G10年 03G30型 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},拱门。数学。逻辑62,编号1--2,1--28(2023;Zbl 07680013) 全文: 内政部 arXiv公司
马克·坎斯玛 固定域上的双线性空间是简单不稳定的。 (英语) Zbl 07680010号 Ann.纯粹应用。逻辑 174,第6号,文章ID 103268,第22页(2023).MSC公司:03C45号机组 03C10号机组 03C35号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},Ann.纯苹果。逻辑174,第6号,文章ID 103268,22页(2023;Zbl 07680010) 全文: 内政部 arXiv公司
伊万诺·齐亚德利;马丁·奥托 探究性认知逻辑的表达能力。 arXiv:2312.14573号 预印本,arXiv:2312.14573[math.LO](2023)。MSC公司:03B45号 03B42型 03C07号机组 03C80号 03C98号 03B70号 BibTeX公司 引用 \textit{I.Ciardeli}和\textit{M.Otto},“探究性认知逻辑的表达能力”,预印本,arXiv:2312.14573[math.LO](2023) 全文: arXiv公司 OA许可证
帕维尔·格沃兹德夫斯基 关于可数的同型结构。 arXiv:2308.10812 预打印,arXiv:2308.10812[math.LO](2023)。MSC公司:03C07号机组 03C60型 03C64号 12升12 BibTeX公司 引用 \textit{P.Gvozdevsky},“关于可数的同型结构”,预印本,arXiv:2308.10812[math.LO](2023) 全文: arXiv公司 OA许可证
米洛什·库里利奇。 可逆树和不可逆树。 arXiv:2306.16370 预印本,arXiv:2306.16370[math.LO](2023)。MSC公司:06年06月06日 06A07年 2011年1月6日 03C07号机组 03元50分 03C98号 BibTeX公司 引用 \textit{M.S.Kurilić},“可逆和不可逆树”,预印本,arXiv:2306.16370[math.LO](2023) 全文: arXiv公司 OA许可证
米洛什·库里利奇。 见证不可逆转的前后系统。 arXiv公司:2306.13966 预印本,arXiv:2306.13966[math.LO](2023)。MSC公司:03C07号机组 03元50分 03C98号 06年06月06日 BibTeX公司 引用 \textit{M.S.Kurilić},“前后系统见证不可逆性”,预印本,arXiv:2306.13966[math.LO](2023) 全文: arXiv公司 OA许可证
T·莫拉希尼。;J.J.Wannenburg。;山本,K。 通过素积实现正逻辑中的基本等价。 arXiv公司:2303.02614 预打印,arXiv:2303.02614[math.LO](2023)。MSC公司:03C07号机组 03C10号机组 03C20号 BibTeX公司 引用 \textit{T.Moraschini}等人,“通过素积实现正逻辑的基本等价”,Preprint,arXiv:2303.02614[math.LO](2023) 全文: arXiv公司 OA许可证
胡安·巴勃罗·阿科斯塔;阿萨夫·哈森 关于可在1-h-极小域中定义的群和域。 arXiv公司:2303.01127 预印本,arXiv:2303.1127[math.LO](2023)。MSC公司:03C07号机组 BibTeX公司 引用 \textit{J.P.Acosta}和\textit{A.Hasson},“关于可在1-h最小域中定义的组和域”,预打印,arXiv:2303.01127[math.LO](2023) 全文: arXiv公司 OA许可证
乌古尔·埃菲姆;鲍里斯·齐尔伯 关于Zarisk结构正则覆盖的特殊化理论。 arXiv:2302.08542 预打印,arXiv:2302.08542[math.LO](2023)。MSC公司:03C07号机组 03C10号机组 03C35号 03元50分 03元52分 14A99号 2015年1月18日 55兰特65 57兰特22 BibTeX公司 引用 \textit{U.Efem}和\textit{B.Zilber},“关于Zarisk结构正则覆盖的特殊化理论”,预印本,arXiv:2302.08542[math.LO](2023) 全文: arXiv公司 OA许可证
加拉尤、米海;拉切尔·哈博 将Putnam问题扩展到具有各种特征的领域。 (英语) 兹比尔1513.11087 代数数论应用。 59, 33-45 (2022).MSC公司:11B75号 03C07号机组 97单位40 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号 黑Tableau107.巴黎:Calvage et Mounet(ISBN 978-2-916352-96-1/hbk)。第二十二、828页。(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03-01 68-01年 03年月日 03B10号机组 03C07号机组 03B30型 35楼03号 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)
亚纳·鲁梅诺娃;廷切夫、廷科 模态可定义性:两个交换等价关系。 (英语) 兹布尔07580915 日志。Univers大学。 16,编号1-2,177-194(2022).MSC公司:03-02 03C07号机组 03C13号机组 03年2月25日 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号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 第1号,第19页,第259-272页(2022年).MSC公司:03C07号机组 03C10号机组 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sudoplatov},西布。È勒克特隆。Mat.Izv公司。19,编号1259-272(2022;兹bl 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号 架构(architecture)。数学。逻辑 61,编号3-4,583-589(2022).MSC公司:03C07号机组 03C68号 PDF格式BibTeX公司 XML格式引用 \发短信给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页 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Malyshkin}和\textit{M.E.朱可夫斯基},离散数学。345,第5号,文章ID 112802,12页(2022;Zbl 1491.05171) 全文: 内政部 arXiv公司
罗素·米勒;Alexandra Shlapentokh,亚历山德拉 特征为0的函数环的c.e.子集的存在性定义。 (英语) Zbl 1484.11229号 Ann.纯粹应用。逻辑 173,第4期,文章ID 103076,50页(2022).MSC公司:11单元09 05年11月 03年2月25日 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公司
贝尔布特·沙伊科维奇·库尔普肖夫;谢尔盖·弗拉基米洛维奇(Sergey Vladimirovich Sudoplatov) 强极小理论族秩的性质。 (英语) Zbl 07483038号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 第12010-124号第19页(2022年).MSC公司:03C07号机组 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Kulpeshov}和\textit{S.V.Sudoplatov},Sib。È勒克特隆。Mat.Izv公司。19,编号1201-124(2022;兹bl 07488038) 全文: 内政部
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许可证
穆罕默德·贝尔卡斯米 弱而局部积极的鲁滨逊理论。 (英语) Zbl 1521.03112号 数学。日志。问:。 67,第3期,342-353(2021).MSC公司:03C95号 03C07号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{M.Belkasmi},数学。日志。企67、3号、342--353(2021;Zbl 1521.03112) 全文: 内政部
普鲁内斯库,米海 关于有理数的两个结果。 (英语) Zbl 1513.11187号 修订版Roum。数学。Pures应用程序。 66,编号3-4,789-792(2021). 审核人:维克托·潘布奇(格伦代尔) MSC公司:05年11月 11日61分 03C07号机组 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{M.普鲁内斯库},Rev.Roum。数学。Pures应用程序。66,编号3--4,789--792(2021;Zbl 1513.11187)
朱丽叶·肯尼迪;Väänänen,佐科 逻辑性和模型类。 (英语) Zbl 07482178号 牛市。符号。日志。 27,第4号,385-414(2021).MSC公司:03C07号机组 03A05号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy}和\textit{J.Väänänen},公牛。符号。日志。27,编号4,385--414(2021;Zbl 07482178) 全文: 内政部 arXiv公司
Emel'yanov,D.Yu。 二进制隔离公式的代数。 (英语。俄文原件) Zbl 1515.03149号 代数逻辑 60,第4期,288-291(2021); 《代数逻辑学》第60卷第4期第438-442页(2021年)的译文。MSC公司:03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Emel'yanov},代数逻辑60,No.4,288--291(2021;Zbl 1515.03149);《代数逻辑学》第60卷第4期第438-442页(2021年)的译文 全文: 内政部
阿科斯塔·洛佩斯(Acosta López)、胡安·巴勃罗(Juan Pablo) 一维群可在\(p\)-adic数中定义。 (英语) 兹布尔07415226 J.塞姆。日志。 86,编号2,801-816(2021).MSC公司:03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Acosta López},J.Symb。日志。86,编号2,801--816(2021;Zbl 07415226) 全文: 内政部 arXiv公司
亚当·克劳茨克;威瑟·库比希 具有有限生成结构的游戏。 (英语) Zbl 07404816号 Ann.纯粹应用。逻辑 172,第10号,文章ID 103016,13 p.(2021).MSC公司:03C07号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{A.Krawczyk}和\textit{W.Kubi-si},Ann.Pure Appl。逻辑172,第10号,文章ID 103016,13页(2021;Zbl 07404816) 全文: 内政部 arXiv公司
伊内萨·伊万诺夫娜·帕夫柳克;谢尔盖·弗拉基米洛维奇·苏多普拉托夫 交换群理论族的公式和性质。 (英语) Zbl 07392344号 伊兹夫。伊尔库茨克。天哪。州立大学。材料。 36, 95-109 (2021).MSC公司:03C07号机组 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Pavlyuk}和\textit{S.V.Sudolatov},Izv。伊尔库茨克。戈斯。州立大学。材料36,95--109(2021;Zbl 07392344) 全文: 内政部 链接
亚当·卡尼戈夫斯基;蒂埃里德拉鲁 两个阶梯的乘积排序为一个变换,这不是松散的伯努利变换。 (英语) Zbl 1481.37004号 J.分析。数学。 143,编号2,535-553(2021). 审核人:El Houcein El Abdalaoui(卢夫雷圣艾蒂安) MSC公司:37A05型 37A25型 37B10号机组 2005年10月28日 37甲12 03C07号机组 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanigowski}和\textit{T.de la Rue},J.Ana。数学。143,编号2,535--553(2021;Zbl 1481.37004) 全文: 内政部 arXiv公司
米洛什·库里利奇。;内纳德·莫拉恰 断开结构的可逆性。 (英语) Zbl 07364298号 代数大学。 82,第3号,第38号论文,第17页(2021年).MSC公司:03C07号机组 05C40号 06年05月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kurilić}和\textit{N.Morača},代数大学。82,第3号,第38号论文,17页(2021;Zbl 07364298) 全文: 内政部 arXiv公司
海因兹·迪特·埃宾豪斯;弗鲁姆,约格;沃尔夫冈·托马斯 数学逻辑。第三版。 (英语) Zbl 07356209号 数学研究生课程291.查姆:施普林格出版社(ISBN 978-3-030-73838-9/hbk;978-3-0.30-73841-9/pbk;978-10-73839-6/ebook)。ix,304页。(2021).MSC公司:03-01 03B10号机组 03B99号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Ebbinghaus}等人,《数理逻辑》。第三版。查姆:施普林格(2021;Zbl 07356209) 全文: 内政部
阿尔伯特·维瑟 延伸和可解释性。 (英语) Zbl 1490.03019号 Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:斯普林格。日志。认识论。统一科学。49, 53-92 (2021). 审核人:Ellen Lehet(圣母院) MSC公司:03C07号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},日志。认识论。统一科学。49、53-92(2021年;Zbl 1490.03019) 全文: 内政部 链接
Jean-Marie,德罗兹;伊纳扎哈雷维奇 扩展到模型结构不是一级属性。 (英语) Zbl 07319060号 纽约数学杂志。 27, 319-348 (2021).MSC公司:55单位35 03B10号机组 18立方厘米35 06A07年 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Droz}和\textit{I.Zakharevich},纽约数学杂志。27319--348(2021;Zbl 07319060) 全文: arXiv公司 链接
拉德·索鲁斯·拉菲 一阶理论模型的概率特征。 (英语) Zbl 1498.03058号 Ann.纯粹应用。逻辑 172,第1号,文章ID 102875,32页(2021).MSC公司:03B48号 03C07号机组 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Rad},Ann.纯粹应用。逻辑172,第1号,文章ID 102875,32页(2021;Zbl 1498.03058) 全文: 内政部
Idrissi,尼扎尔·埃尔;萨米尔·卡巴杰 独立性、无限维和运算符。 arXiv公司:2107.11834 预印本,arXiv:2107.11834[math.FA](2021)。MSC公司:15A03号 15A04号 2012年1月6日 03C07号机组 BibTeX公司 引用 \textit{N.E.Idrissi}和\textit{S.Kabbaj},“独立性、无限维和运算符”,预打印,arXiv:2107.11834[math.FA](2021) 全文: arXiv公司 OA许可证
谢尔盖·苏多普拉托夫。 几乎数论和几乎可计算理论。 arXiv公司:2112.10330 预打印,arXiv:2112.10330[math.LO](2021)。MSC公司:03C07号机组 03C10号机组 03C68号 BibTeX公司 引用 \textit{S.V.Sudolatov},“几乎$n$-元和几乎$n$元-可计算理论”,预打印,arXiv:2112.10330[math.LO](2021) 全文: arXiv公司 OA许可证
谢尔盖·苏多普拉托夫。 一阶理论的Arities和aritizability。 arXiv:2112.09593 预打印,arXiv:2112.09593[math.LO](2021)。MSC公司:03C07号机组 03C68号 BibTeX公司 引用 \textit{S.V.Sudolatov},“一阶理论的算术性和可数性”,预印本,arXiv:2112.09593[math.LO](2021) 全文: arXiv公司 OA许可证
胡安·巴勃罗·阿科斯塔 可在代数闭值域和伪L域中定义的一维交换群。 arXiv公司:2112.00430 预打印,arXiv:2112.00430[math.LO](2021)。MSC公司:03C07号机组 BibTeX公司 引用 \textit{J.P.Acosta},“可在代数闭值域和伪长域中定义的一维交换群”,Preprint,arXiv:2112.00430[math.LO](2021) 全文: arXiv公司 OA许可证
蒙特塞拉特卡萨尔斯-鲁伊斯;伊利亚·哈萨克科夫;哈维尔·德拉努伊斯·冈萨雷斯(Javier de la Nuez González) 关于群的图乘积的基本理论。 arXiv:2106.03782 预打印,arXiv:2106.03782[math.GR](2021)。MSC公司:20E08年 20E06年 20层70 03C07号机组 BibTeX公司 引用 \textit{M.Casals-Ruiz}等人,“关于群的图乘积的基本理论”,Preprint,arXiv:2106.03782[math.GR](2021) 全文: arXiv公司 OA许可证
卢卡·蒂门斯;Dana S.斯科特。;克里斯托夫·本兹穆勒;米罗斯拉夫·本达 计算机支持的类模型分类公理化探索。 (英语) Zbl 1509.68328号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).MSC公司:68V20型 03B35型 03C07号机组 03C99号 18甲15 2018年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Tiemens}等人,Lect。注释计算。科学。12062、302-317(2020年;Zbl 1509.68328) 全文: 内政部 arXiv公司
杰弗里·凯特兰 结构与理论基础2。 (英语) Zbl 1485.03081号 日志。Univers大学。 14,第4号,461-479(2020).MSC公司:03C07号机组 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketland},日志。Univers大学。14,第4号,461--479(2020;Zbl 1485.03081) 全文: 内政部
卡洛斯·阿雷塞斯;米盖尔·坎佩尔科利;丹尼尔·佩纳齐;巴勃罗·文图拉 开放一阶公式可定义性的复杂性。 (英语) Zbl 1497.68220号 日志。J.IGPL公司 28,第6号,1093-1105(2020).MSC公司:2017年第68季度 03C07号机组 03C13号机组 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 28,第6号,1093--1105(2020;Zbl 1497.68220) 全文: 内政部 arXiv公司
豪尔赫·范丁诺;弗拉基米尔·利夫希茨;帕特里克·吕内;托尔斯滕·绍布 使用验证紧密逻辑程序国歌和吸血鬼. (英语) Zbl 1468.68127号 理论与实践。日志。程序。 20,第5期,735-750(2020年).MSC公司:60年第68季度 03C07号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,《理论与实践》。日志。程序。20,编号5,735--750(2020;Zbl 1468.68127) 全文: 内政部 arXiv公司
杰弗里·凯特兰 结构和理论基础。一、。 (英语) Zbl 1485.03080号 日志。Univers大学。 第357-381号第14页(2020年).MSC公司:03C07号机组 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketland},日志。Univers大学。14,第3号,357--381(2020;Zbl 1485.03080) 全文: 内政部
米洛什·库里利奇。;内纳德·莫拉恰 好序及其逆序的可逆不交并。 (英语) Zbl 1481.06002号 订单 37,第1期,73-81(2020年).MSC公司:06年06月06日 06A07年 03E10年 03C07号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kurilić}和\textit{N.Morača},第37号令,第1号,73-81(2020;兹bl 1481.06002) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;约翰内斯·格雷纳 定性约束满足问题组合的复杂性。 (英语) Zbl 1528.68142号 日志。方法计算。科学。 16,第1号,第21号论文,第19页(2020年).MSC公司:65年第68季度 03年2月25日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{J.Greiner},Log。方法计算。科学。16,第1号,第21号论文,第19页(2020年;Zbl 1528.68142) 全文: arXiv公司 链接
罗查,蒂亚戈·阿尔维斯;阿娜·特蕾莎·马丁斯;弗朗西伯·马丁斯·费雷拉 使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式。 (英语) Zbl 1436.68154号 西奥。计算。科学。 805, 109-126 (2020).MSC公司:68问题32 03B70号 03C07号机组 03C13号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人,Theor。计算。科学。805109--126(2020年;Zbl 1436.68154) 全文: 内政部
Masato Fujita 一致局部o-极小结构和局部o-极小结构允许局部可定义的单元分解。 (英语) Zbl 1435.03062号 Ann.纯粹应用。逻辑 171,第2期,文章ID 102756,26页(2020年). 审核人:Beibut Kulpeshov(阿拉木图) MSC公司:03C64号 03C07号机组 03C10号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujita},Ann.纯苹果。逻辑171,第2号,文章ID 102756,26页(2020;Zbl 1435.03062) 全文: 内政部
以斯帖·埃尔巴兹 有限特征的Grothendieck环。 arXiv:2011.00280号 预印本,arXiv:2011.00280[math.LO](2020)。MSC公司:03C07号机组 03C10号机组 03C98号 08C10号 BibTeX公司 引用 \textit{E.Elbaz},“有限特征的Grothendieck环”,预印本,arXiv:2011.00280[math.LO](2020) 全文: arXiv公司 OA许可证
佩雷塔特金,M.G。 可定义代数模式的有限签名简化过程的技术原型。 (英语) Zbl 1488.03021号 哈萨克数学。J。 19,第2期,78-104(2019).MSC公司:03C57号 03C07号机组 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat'kin},哈萨克数学。J.19,No.2,78--104(2019;Zbl 1488.03021)
Nikitin,A.Yu。 一类偏序限制理论的可判定性。 (俄语。英文摘要) Zbl 1461.03008号 普里克尔。磁盘重新启动。材料。 2019年,第45号,6-12(2019).MSC公司:03年2月25日 03C07号机组 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Nikitin},Prikl。磁盘重新启动。材料2019,编号45,6--12(2019;Zbl 1461.03008) 全文: 内政部 MNR公司
恩里克·埃尔南德斯·曼弗雷迪尼;马丁斯(Manuel A.Martins)。 如果玛拉的模型没有元素呢? (西班牙语) Zbl 1487.03050号 阿隆索、恩里克(编辑)等人,《宗教的世界》。恩萨约斯向玛丽亚·曼扎诺致敬。伦敦:大学出版社。库德。洛格。认识论。冷。13, 175-189 (2019).MSC公司:03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Hernández-Manfredini}和\textit{M.A.Martins},库德。洛格。认识论。冷。13、175--189(2019年;Zbl 1487.03050)
海卡济安,莱文 正模型理论中的类型空间。 (英语) Zbl 1468.03035号 J.塞姆。日志。 84,No.2,833-848(2019).MSC公司:03C07号机组 03C15号 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{L.Haykazyan},J.Symb。日志。84,编号2833-848(2019;兹bl 1468.03035) 全文: 内政部 arXiv公司
弗拉基米尔·沙拉克。 皮尔士的论文:逻辑分析和本体论后果。 (俄语。英文摘要) Zbl 1446.03023号 日志。伊斯斯莱德。 25,第2期,138-163(2019).MSC公司:03B10号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。25,第2号,138--163(2019;Zbl 1446.03023) 全文: 链接
Emel'yanov,D.Yu。;库尔普肖夫,B.Sh。;Sudolatov,S.V.公司。 极小理论的二进制隔离公式的分布代数。 (英语。俄文原件) 兹比尔1468.03049 代数逻辑 57,第6号,429-444(2019); 《代数逻辑》57,第6期,662-683(2018)的译文。MSC公司:03C64号 03C15号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Emel'yanov}等人,代数逻辑57,No.6,429--444(2019;Zbl 1468.03049);《代数逻辑》57,第6期,662--683(2018)的译文 全文: 内政部
德米特里·尤尔埃维奇·埃梅尔亚诺夫 阿基米德固体理论的二元公式分布代数。 (俄语。英文摘要) Zbl 1441.03023号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 28, 36-52 (2019). 审核人:Beibut Kulpeshov(阿拉木图) MSC公司:03C07号机组 03C60型 03C15号 03C65号 51E30型 PDF格式BibTeX公司 XML格式引用 \文本{D.Y.Emel'yanov},Izv。伊尔库茨克。戈斯。州立大学。材料28、36-52(2019年;Zbl 1441.03023) 全文: 内政部 链接
吉列尔莫·巴迪亚;科斯塔,维森特;皮拉尔·德尔隆德;卡莱斯·诺格拉 数学模糊逻辑中一阶结构类的句法特征。 (英语) Zbl 1418.03119号 软计算。 23,第7号,2177-2186(2019).MSC公司:03B52号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人,《软计算》。23,第7号,2177-2186(2019年;兹bl 1418.03119) 全文: 内政部 arXiv公司
马蒂诺·卢皮尼 模型理论和(mathrm{C}^ast)代数的邀请。 (英语) Zbl 1446.03067号 牛市。符号。日志。 25,第1号,34-100(2019). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03C07号机组 46升05 03C20号 03C65号 03C66号 46层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Lupini},公牛。符号。日志。25,第1号,34--100(2019;Zbl 1446.03067) 全文: 内政部 arXiv公司
费利克斯·卡纳沃伊;马丁·奥托 凯利结构和常识。 arXiv:1909.11521年 预印本,arXiv:1909.11521[math.LO](2019)。MSC公司:03B45号 03B42型 03C07号机组 03C80号 03C98号 03B70号 BibTeX公司 引用 \textit{F.Canavoi}和\textit{M.Otto},“凯利结构和常识”,预印本,arXiv:1909.11521[math.LO](2019) 全文: arXiv公司 OA许可证
伊凡·拉特金。 纯粹平等的一阶理论的复杂性。 arXiv:1907.04521 预印本,arXiv:1907.04521[math.LO](2019)。MSC公司:03C40号 03C07号机组 2015年3月1日 2005年第68季度 2015年第68季度 2017年第68季度 BibTeX公司 引用 \textit{I.V.Latkin},“纯等式一阶理论的复杂性”,Preprint,arXiv:1907.04521[math.LO](2019) 全文: 内政部 arXiv公司 OA许可证
马丁·奥托 分级模态逻辑和计数互模拟。 arXiv:1910.00039 预印本,arXiv:1910.00039[math.LO](2019)。MSC公司:03B45号 03C07号机组 03C98号 03B70号 BibTeX公司 引用 \textit{M.Otto},“分级模态逻辑和计数互模拟”,预打印,arXiv:1910.00039[math.LO](2019) 全文: arXiv公司 OA许可证
A.伊万诺夫。;Majcher-Iwanow,B。 波兰G-空间,广义模型理论和复杂性。 arXiv:1909.12613年 预印本,arXiv:1909.12613[math.LO](2019)。MSC公司:03E15年 03C07号机组 03C57号 BibTeX公司 引用 \textit{A.Ivanov}和\textit{B.Majcher-Iwanow},“波兰G-spaces,广义模型理论和复杂性”,预印本,arXiv:1909.12613[math.LO](2019) 全文: arXiv公司 OA许可证
佩雷塔特金,M.G。 模型理论性质与语义类应用的一致性关系的复杂性估计。 (英语) Zbl 1488.03013号 材料Zh。 18,第3号,67-79(2018).MSC公司:03C07号机组 03元50分 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat’kin},Mat.Zh。18,第3号,67--79(2018;Zbl 1488.03013)
迪特里赫·库斯克;尼科尔·施韦卡特 计算一阶逻辑扩展的Gaifman范式。 (英语) Zbl 1499.03028号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第133条,第14页(2018年)。MSC公司:03C13号机组 03C07号机组 03C80号 68年第27季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{N.Schweikardt},LIPIcs——莱布尼茨国际程序。通知。107,第133条,第14页(2018;Zbl 1499.03028) 全文: 内政部
阿夫·根格尔巴赫;Tjark韦伯 定义理论的模型理论保守扩展。 (英语) Zbl 1434.03028号 Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 133-145 (2018).MSC公司:03B35型 03B16号 03C07号机组 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gengelbach}和\textit{T.Weber},电子。注释Theor。计算。科学。338133-145(2018年;Zbl 1434.03028) 全文: 内政部
Kirsten Eisenträger;特拉维斯·莫里森 全局字段的普遍存在的可定义子集。 (英语) Zbl 1455.11167号 数学。Res.Lett公司。 25,第4期,1173-1204(2018). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:11单元09 03C07号机组 05年11月 PDF格式BibTeX公司 XML格式引用 \textit{K.Eisenträger}和\textit{T.Morrison},数学。Res.Lett公司。25,编号4,1173-1204(2018;兹bl 1455.11167) 全文: 内政部 arXiv公司
埃米莉·查利尔 一阶逻辑和计数系统。 (英语) Zbl 1486.03055号 Berthé,Valérie(编辑)等人,《序列、群和数论》。查姆:Birkhäuser。数学趋势。,89-141 (2018).MSC公司:03C07号机组 03C62型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{埃·查利埃},in:序列、群和数论。查姆:Birkhäuser。89-141(2018;Zbl 1486.03055) 全文: 内政部
乌苏拉州Wybraniec-Skardowska 一阶量词的类别。 (英语) Zbl 1522.03106号 Garrido,Angel(编辑)等人,《利沃夫-瓦沙学校》。过去和现在。查姆:Birkhäuser。通用螺栓。日志。,763-777 (2018).MSC公司:03C07号机组 03A05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec Skardowska},在:华沙利沃夫学校。过去和现在。查姆:Birkhäuser。763--777(2018;Zbl 1522.03106) 全文: 内政部 链接
威尔弗里德·霍奇斯 Andrzej Mostowski和模型的概念。 (英语) Zbl 1522.03006号 Garrido,Angel(编辑)等人,《利沃夫-瓦沙学校》。过去和现在。查姆:Birkhäuser。通用螺栓。日志。,673-691 (2018).MSC公司:03-03 01A70号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges},收录于:利沃夫-瓦沙学校。过去和现在。查姆:Birkhäuser。673--691(2018年;Zbl 1522.03006) 全文: 内政部
马舍维茨基(G.Mashevitzky)。;普洛金,B。;普洛金,E。 自同态半群在可定义集上的作用。 (英语) Zbl 1509.03095号 国际代数计算杂志。 1585-1612(2018)第8号第28页.MSC公司:03C07号机组 03C60型 08A35型 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Mashevitzky}等人,《国际代数计算》。28,第8号,1585--1612(2018;Zbl 1509.03095) 全文: 内政部
伊芙琳娜·尤尔埃夫娜·达尼亚洛娃;亚历克谢·乔治·米亚斯尼科夫;弗拉基米尔·尼卡诺维奇·雷梅斯连尼科夫 代数结构上的代数几何。十: 顺序尺寸。 (英语) Zbl 1404.08006号 国际代数计算杂志。 28,第8期,1425-1448(2018).MSC公司:08A99年 03C05号机组 03C07号机组 03C60型 2011年1月6日 14年22日 PDF格式BibTeX公司 XML格式引用 \textit{E.Y.Daniyarova}等人,《国际代数计算》。28,第8号,1425--1448(2018;Zbl 1404.08006) 全文: 内政部
曼纽尔·博迪尔斯基;约翰内斯·格雷纳 定性约束满足问题组合的复杂性。 (英语) Zbl 1511.68123号 Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10900, 263-278 (2018).MSC公司:65年第68季度 03年2月25日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{J.Greiner},莱克特。注释计算。科学。10900,263--278(2018;Zbl 1511.68123) 全文: 内政部 arXiv公司
A.Alibek。;拜扎诺夫,B.S。;库尔普肖夫,B.Sh。;赞巴纳亚,T.S。 凸秩为1的弱o-极小理论的Vaught猜想。 (英语) Zbl 1412.03017号 Ann.纯粹应用。逻辑 169,第11期,1190-1209(2018). 审核人:阿图尔·皮·科什(克拉科夫) MSC公司:03C64号 03C15号 03C07号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{A.Alibek}等人,Ann.Pure Appl。逻辑169,No.11190--1209(2018;Zbl 1412.03017) 全文: 内政部
曼纽尔·博迪尔斯基;布莱德利·威廉姆斯,大卫;迈克尔·平斯克;安德拉斯·蓬格拉茨 通用齐次二叉树。 (英语) Zbl 1444.03124号 J.日志。计算。 28,第1期,133-163(2018).MSC公司:03C07号机组 03元50分 20B35码 20B27型 06年06月06日 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Log。计算。28,第1号,133--163(2018;Zbl 1444.03124) 全文: 内政部 arXiv公司 链接
克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 一阶级联理论的可判定和不可判定片段。 (英语) Zbl 1509.03094号 Manea,Florin(编辑)等人,《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 244-253 (2018).MSC公司:03C07号机组 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{J.Murwanashaka},莱克特。注释计算。科学。10936244--253(2018年;Zbl 1509.03094) 全文: 内政部 arXiv公司 链接
哈里·克莱恩;亨利·托斯纳 等价关系的相对互换性。 (英语) Zbl 1496.03161号 架构(architecture)。数学。逻辑 57,编号5-6,533-556(2018).MSC公司:03C98号 03C07号机组 60G09年 PDF格式BibTeX公司 XML格式引用 \textit{H.Crane}和\textit{H.Towsner},拱门。数学。逻辑57,编号5-6533-556(2018;Zbl 1496.03161) 全文: 内政部 arXiv公司
哈里·克莱恩;亨利·托斯纳 相对可交换结构。 (英语) Zbl 1496.03160号 J.塞姆。日志。 83,第2期,416-442(2018).MSC公司:03C98号 03C07号机组 60G09年 PDF格式BibTeX公司 XML格式引用 \textit{H.Crane}和\textit{H.Towsner},J.Symb。日志。83,第2号,416--442(2018;Zbl 1496.03160) 全文: 内政部 arXiv公司
布鲁诺·波扎特;艾巴特·叶什基耶夫 积极的琼森理论。 (英语。法语摘要) Zbl 1456.03060号 日志。Univers大学。 12,编号1-2,101-127(2018).MSC公司:03C95号 03C07号机组 03C10号机组 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{B.Poizat}和\textit{A.Yeshkeyev},日志。Univers大学。12,编号1--2,101-127(2018;Zbl 1456.03060) 全文: 内政部
伯塔兰·博多;Cameron,Peter J。;萨巴萨博 均质结构的无穷多简化。 (英语) Zbl 1522.03105号 代数大学。 79,第2号,第43号论文,10页(2018年).MSC公司:03C07号机组 20B27型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bodor}等人,代数大学。79,第2号,第43号论文,10页(2018;Zbl 1522.03105) 全文: 内政部 arXiv公司 链接
Mwesigye,F。;斯特拉斯,J.K。 埃伦费奇特·弗雷塞(Ehrenfeucht Fraïssé)的普通游戏。 (英语) Zbl 1469.06001号 Ann.纯粹应用。逻辑 169,编号7,616-636(2018).MSC公司:06年05月 03C07号机组 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{F.Mwesigye}和\textit{J.K.Truss},Ann.Pure Appl。逻辑169,No.7,616--636(2018;Zbl 1469.06001) 全文: 内政部
布莱恩·戴维(Brian A.Davey)。;可怜的是,简·G。;罗斯·威拉德 通过公理化实现新旧的完全二元论。 (英语) Zbl 1469.08003号 Ann.纯粹应用。逻辑 169,第7号,588-615(2018).MSC公司:08C20号 08C05号机组 08C15号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Davey}等人,Ann.Pure Appl。逻辑169,No.7,588--615(2018;Zbl 1469.08003) 全文: 内政部 arXiv公司
加布里埃尔·科南特 整数组和Presburger算法之间没有中间结构。 (英语) Zbl 1447.03006号 J.塞姆。日志。 83,第1期,187-207(2018).MSC公司:03C64号 03C07号机组 03C45号机组 03C62型 PDF格式BibTeX公司 XML格式引用 \textit{G.Conant},J.Symb。日志。83,第1号,187--207(2018;Zbl 1447.03006) 全文: 内政部 arXiv公司
彼得·海尼格;托拜厄斯·穆勒;不,马克;阿努什·塔拉兹 图的次闭类的逻辑极限律。 (英语) Zbl 1384.05144号 J.库姆。理论,Ser。B类 130, 158-206 (2018).MSC公司:05C83号 05C80号 03C07号机组 03C13号机组 60层20 PDF格式BibTeX公司 XML格式引用 \textit{P.Heinig}等人,J.Comb。理论,Ser。B 130、158--206(2018;Zbl 1384.05144) 全文: 内政部 arXiv公司 链接
米洛什·库里利奇。 前后冷凝系统。 arXiv:1807.00338号 预印本,arXiv:1807.00338[math.LO](2018)。MSC公司:03C07号机组 03C75号 03元50分 03E40型 06年06月06日 BibTeX公司 引用 \textit{M.S.Kurilić},“前后冷凝系统”,预印本,arXiv:1807.00338[math.LO](2018) 全文: arXiv公司 OA许可证
佩雷塔特金,M.G。 有限语义层和无限语义层的基本意义以及一阶逻辑表达能力的表征。 (英语) Zbl 1488.03012号 材料Zh。 17,第3期,91-116(2017).MSC公司:03C07号机组 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat’kin},Mat.Zh。17,第3号,91--116(2017;Zbl 1488.03012)
达格·韦斯特斯特尔 相同。 (英语) Zbl 1429.03130号 Jäger,Gerhard(编辑)等人,《地基上的费弗曼》。逻辑、数学、哲学。查姆:斯普林格。Outst公司。控制日志。13, 449-467 (2017).MSC公司:03B65号 03C80号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Westerståhl},外部。控制日志。13、449--467(2017;Zbl 1429.03130) 全文: 内政部 链接
恩里克·卡萨诺瓦斯·鲁伊斯·福内尔斯 数学结构的可定义性。 (加泰罗尼亚语。英文摘要) Zbl 1444.03125号 巴特尔。Catalana Mat公司。 32,第2期,133-153(2017).MSC公司:03C07号机组 03C40号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Casanovas Ruiz-Fornells},巴特尔。Catalana Mat.32,No.2,133--153(2017;Zbl 1444.03125) 全文: 内政部