约翰·鲍德温（John T.Baldwin）。;萨拉、撒哈拉 ZFC中第一个可测量的最大模型。 （英语） Zbl 07797268号 数学杂志。日志。 24，第1号，文章ID 2250011，27 p.（2024）.MSC公司：03C48号 03C75号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Baldwin}和\textit{S.Shelah}，J.Math。日志。24，第1号，文章ID 2250011，27 p.（2024；Zbl 07797268） 全文： 内政部 arXiv公司
Santiago Suárez，Juan M。;Viale，Matteo公司 无穷逻辑的布尔值语义。 （英语） Zbl 07748759号 Ann.纯粹应用。逻辑 175，第1号，文章ID 103333，37页（2024）.MSC公司：03C75号 03E40型 03E75型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Santiago Suárez}和\textit{M.Viale}，Ann.Pure Appl。逻辑175，第1号，文章ID 103333，37页（2024；Zbl 07748759） 全文： 内政部 arXiv公司
伊凡·迪利贝蒂;罗杰斯，摩根 Topoi有足够的分数。 arXiv公司：2403.15338 预印本，arXiv:2403.15338[math.CT]（2024）。MSC公司：03G30型 03C75号 18对25 18 C50 10层18号 18楼70 BibTeX公司 引用 \textit{I.Di Liberti}和\textit{M.Rogers}，“Topoi with enough points”，预打印，arXiv:2403.15338[math.CT]（2024） 全文： arXiv公司 OA许可证
伊凡·迪利贝蒂;加布里埃尔·洛比亚 略图和Logoi分类。 arXiv公司：2403.09264 预打印，arXiv:2403.09264[math.CT]（2024）。MSC公司：18甲15 03C75号 18立方厘米 18对25 18立方30 18立方厘米 BibTeX公司 引用 \textit{I.Di Liberti}和\textit{G.Lobbia}，“草图和Logoi分类”，预印本，arXiv:2403.09264[math.CT]（2024） 全文： arXiv公司 OA许可证
佐科·瓦纳宁;博班·韦利科维奇 关于一些无穷逻辑。 arXiv公司：2402.13344 预印本，arXiv:2402.13344[math.LO]（2024）。MSC公司：03Bxx号 03C55号 03C75号 03C95号 03埃克斯 BibTeX公司 引用 \textit{J.Vaananen}和\textit{B.Velickovic}，“关于无限逻辑”，预印本，arXiv:2402.13344[math.LO]（2024） 全文： arXiv公司 OA许可证
克洛维斯·哈梅尔;富兰克林·D·塔尔。 病理性巴拿赫空间的不确定性。 arXiv:2401.10459 预打印，arXiv:2401.10459[math.LO]（2024）。MSC公司：03C45号机组 03C66号 03C75号 03C95号 03C98号 46B99型 54A20型 54小时99 BibTeX公司 引用 \textit{C.Hamel}和\textit{F.D.Tall}，“病理性巴拿赫空间的不可否认性”，预印本，arXiv:2401.10459[math.LO]（2024） 全文： arXiv公司 OA许可证
菲利普·吕克;伊奥安尼斯·索尔达托斯 Hjorth基本特征的非绝对性。 （英语） Zbl 07797036号 芬达姆。数学。 262，编号2，105-128（2023）.MSC公司：03C55号 03E35号 03C75号 03C15号 03C35号 03E57型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lücke}和\textit{I.Souldatos}，Fundam。数学。262，编号2，105--128（2023；Zbl 07797036） 全文： 内政部 arXiv公司
安德烈亚斯·哈尔巴克;马西耶·马利基;托多尔·赞科夫 连续逻辑和Borel等价关系。 （英语） Zbl 07781921号 J.塞姆。日志。 88，第4期，1725-1752（2023）.MSC公司：03E15年 03C66号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Hallbäck｝等人，J.Symb。日志。88，编号4，1725-1752（2023；Zbl 07781921） 全文： 内政部 arXiv公司
卡勒布·卡姆鲁德;艾萨克·戈德布林;蒂莫西·麦克尼科尔。 关于可计算的度量结构理论的复杂性。 （英语） Zbl 07742505号 架构（architecture）。数学。逻辑 62，编号7-8，1111-1129（2023）.MSC公司：03C57号 03D78号 03C75号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}等人，Arch。数学。逻辑62，编号7--81111--1129（2023；Zbl 07742505） 全文： 内政部 arXiv公司
A.贾内维奇。;D.奥辛。;小川，K。 可数群上的一般长度函数。 （英语） Zbl 1523.20072号 J.代数 635, 348-372 (2023). 审核人：恩里科·贾巴拉（威尼斯） MSC公司：20层65 03C60型 03C75号 03E15年 05C25号 20楼67 PDF格式BibTeX公司 XML格式引用 \textit{A.Jarnevic}等人，J.代数635，348--372（2023；Zbl 1523.20072） 全文： 内政部 arXiv公司
大卫·冈萨雷斯;安东尼奥·蒙塔尔班 沃特猜想。 （英语） Zbl 07731976年 事务处理。美国数学。Soc公司。 376，第8号，5989-6008（2023）.MSC公司：03D45号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gonzalez}和\textit{A.Montalban}，翻译。美国数学。Soc.376，编号8，5989-6008（2023；Zbl 07731976） 全文： 内政部 arXiv公司
鲍里斯·罗莫夫（Boris A.Romov）。 无限结构上的存在关系。 （英语） Zbl 07722304号 代数大学。 84，第3期，第24号论文，第23页（2023年）.MSC公司：2015年1月6日 03C05号机组 03C10号机组 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Romov}，代数大学。84，第3号，第24号文件，第23页（2023；Zbl 07722304） 全文： 内政部
斯特凡诺·巴拉泰拉 无限命题概率逻辑。 （英语） Zbl 07680025号 架构（architecture）。数学。逻辑 62，编号3-4，291-320（2023）.MSC公司：03B48号 03C75号 03C20号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit｛S.Baratella｝，拱门。数学。逻辑62，编号3--4，291--320（2023；Zbl 07680025） 全文： 内政部
梁锦松 公理化AEC和应用程序。 （英语） Zbl 07662885号 Ann.纯粹应用。逻辑 174，第5号，文章ID 103248，18 p.（2023）.MSC公司：03C48号 03C45号机组 03C55号 03元52分 03C75号 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{S.Leung}，Ann.纯粹应用。逻辑174，第5号，文章ID 103248，18页（2023；Zbl 07662885） 全文： 内政部 arXiv公司
丹尼斯·萨维利耶夫一世。 关于限制规则的注释。 arXiv:2312.06626 预打印，arXiv:2312.06626[math.LO]（2023）。MSC公司：03C35号 03财年03 03C40号 03元50分 03C70号 03C75号 03C85号 03E45型 35楼03号 第03页第45页 BibTeX公司 引用 \textit{D.I.Saveliev}，“关于限制规则的注释”，预打印，arXiv:2312.06626[math.LO]（2023） 全文： arXiv公司 OA许可证
奥布拉德·卡苏姆;博班Velićković Asperó和Schindler定理的边缘。 arXiv公司：2308.08293 预打印，arXiv:2308.08293[math.LO]（2023）。MSC公司：03E40型 03E57型 03C75号 BibTeX公司 引用 \textit{O.Kasum}和\textit{B.Velićković}，“Asper-'O和Schindler定理的边距”，预印本，arXiv:2308.08293[math.LO]（2023） 全文： arXiv公司 OA许可证
科林·贾赫尔;约瑟夫·马蒂厄 非阿基米德波兰群的遍历作用和不变随机展开的稳定器。 arXiv:2307.06253 预印本，arXiv:2307.06253[math.DS]（2023）。MSC公司：37甲15 22楼50 03C15号 03C98号 60G09年 03C75号 BibTeX公司 引用 \textit{C.Jahel}和\textit{M.Joseph}，“非阿基米德波兰群的遍历作用和不变随机展开的稳定器”，预印，arXiv:2307.06253[math.DS]（2023） 全文： arXiv公司 OA许可证
尤金·张 广义冯·诺依曼宇宙和非完全成立集。 arXiv:2304.00581 预打印，arXiv:2304.00581[math.LO]（2023）。MSC公司：03C55号 03C75号 03E99型 BibTeX公司 引用 \textit{E.Zhang}，“广义冯·诺依曼宇宙与非良基集”，预印本，arXiv:2304.00581[math.LO]（2023） 全文： arXiv公司 OA许可证
约翰·鲍德温（John T.Baldwin）。;安德烈斯·维拉维塞斯 齐尔伯关于逻辑完美结构的概念：通用封面。 arXiv:2302.04650 预打印，arXiv:2302.04650[math.LO]（2023）。MSC公司：03C45号机组 03C64号 03C98号 11单元09 12升12 03年3月 03C75号 03C48号 BibTeX公司 引用 \textit{J.T.Baldwin}和\textit{A.Villaveces}，“Zilber的逻辑完美结构概念：通用封面”，预印，arXiv:2302.04650[math.LO]（2023） 全文： arXiv公司 OA许可证
迪诺·罗塞格 解析完全等价关系的度谱。 （英语） 兹比尔07620704 J.塞姆。日志。 87，第4期，1663-1676（2022）.MSC公司：03C75号 03D45号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{D.Rossegger}，J.Symb。日志。87，第4号，1663-1676（2022；Zbl 07620704） 全文： 内政部 arXiv公司
塞巴斯蒂安·瓦西 关于连续红衣主教的分类。 （英语） Zbl 07541913号 J.塞姆。日志。 87，第2号，545-563（2022）.MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{S.Vasey}，J.Symb（塞姆）。日志。87，第2号，545--563（2022；Zbl 07541913） 全文： 内政部 arXiv公司
奥萨·赫沃宁;乔尼·普朱亚尔维 度量结构之间正距离的游戏和Scott语句。 （英语） Zbl 1518.03007号 Ann.纯粹应用。逻辑 173，第7号，文章ID 103123，36 p.（2022）. 审核人：亚历山德罗·维格纳提（巴黎） MSC公司：03C66号 03C75号 03C15号 46个B03 PDF格式BibTeX公司 XML格式引用 \textit{奥·赫沃宁}和\textit{J.Puljujärvi}，Ann.Pure Appl。逻辑173，第7号，文章ID 103123，36页（2022；Zbl 1518.03007） 全文： 内政部 arXiv公司
纳撒内尔·阿克曼;玛丽·利亚·卡克 广义逼近空间的潜在同构。 （英语） Zbl 07506802号 奎斯特。数学。 45，第3号，443-484（2022）.MSC公司：54级05 54个C99 03B60号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{N.Ackerman}和\textit{M.L.Karker}，奎斯特。数学。45，编号3，443--484（2022；Zbl 07506802） 全文： 内政部
斯捷潘·库兹涅佐夫。;斯坦尼斯拉夫·斯佩兰斯基。 带指数运算的无限动作逻辑。 （英语） Zbl 07458791号 Ann.纯粹应用。逻辑 173，第2号，文章ID 103057，第29页（2022）.MSC公司：03B47号 03C75号 03天35分 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.L.库兹涅佐夫}和\textit{S.O.斯佩兰斯基}，Ann.Pure Appl。逻辑173，第2号，文章ID 103057，29页（2022；Zbl 07458791） 全文： 内政部 arXiv公司
萨拉、撒哈拉;安德烈斯·维拉维塞斯 无限逻辑和抽象初等类。 （英语） Zbl 07423260号 程序。美国数学。Soc公司。 150，编号1，371-380（2022）.MSC公司：03C48号 03C40号 03C75号 03C95号 03E02号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{A.Villaves}，程序。美国数学。Soc.150，No.1，371--380（2022；Zbl 07423260） 全文： 内政部 arXiv公司
纳达夫·迈尔 无限词典产品。 （英语） Zbl 1486.03056号 Ann.纯粹应用。逻辑 173，编号1，文章ID 102991，23 p.（2022）. 审核人：阿萨夫·哈森（贝尔·舍瓦） MSC公司：03C10号机组 03元50分 03C75号 05元55分 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{N.Meir}，Ann.纯粹应用。逻辑173，第1号，文章ID 102991，23页（2022；Zbl 1486.03056） 全文： 内政部 arXiv公司
纳达夫·迈尔;阿里斯·帕帕佐普洛斯 实用和结构无限扩展。 arXiv公司：2212.08027 预打印，arXiv:2212.08027[math.LO]（2022）。MSC公司：05元55分 03C75号 03元52分 BibTeX公司 引用 \textit{N.Meir}和\textit{A.Papadopoulos}，“实用和结构无限扩张”，预印本，arXiv:2212.08027[math.LO]（2022） 全文： arXiv公司 OA许可证
马修·哈里森·特雷纳;迈尔斯·克雷奇默 无限逻辑与有限逻辑相比没有表现效率。 arXiv:2209.05615 预打印，arXiv:2209.05615[math.LO]（2022）。MSC公司：03C75号 03C25号 03C40号 BibTeX公司 引用 \textit{M.Harrison-Trainor}和\textit{M.Kretschmer}，“无限逻辑与有限逻辑相比没有表现效率”，预打印，arXiv:2209.05615[math.LO]（2022） 全文： arXiv公司 OA许可证
芭芭拉·卡西玛（Barbara F.Csima）。;迪诺·罗塞格 分类度和三级度。 arXiv:2209.04524 预打印，arXiv:2209.04524[math.LO]（2022）。MSC公司：03C75号 03D45号 03E15年 BibTeX公司 引用 \textit{B.F.Csima}和\textit{D.Rossegger}，“范畴度和三度”，预印本，arXiv:2209.04524[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许可证
芭芭拉·卡西玛（Barbara F.Csima）。;卢克·麦克莱恩;迪诺·罗塞格 可从正面信息中枚举的关系。 arXiv公司：2206.01135 预印本，arXiv:2206.01135[math.LO]（2022）。MSC公司：03C75号 03D45号 BibTeX公司 引用 \textit{B.F.Csima}等人，“可从正信息枚举的关系”，预打印，arXiv:2206.01135[math.LO]（2022） 全文： arXiv公司 OA许可证
朱丽叶·肯尼迪;Väänänen，佐科 逻辑性和模型类。 （英语） Zbl 1529.03193号 牛市。符号。日志。 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 1529.03193） 全文： 内政部 arXiv公司
约翰·R·斯蒂尔。 关于沃特的猜想。 （英语） 兹比尔1528.03156 Kechris，Alexander S.（编辑）等人，《大基数、确定性和其他主题》。阴谋论研讨会，第四卷。论文和新材料的再版，基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）。莱克特。注释日志。49, 179-195 (2021).MSC公司：03C15号 03C70号 03C75号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel}，莱克特。注释日志。49179--195（2021年；Zbl 1528.03156） 全文： 内政部 链接
弗里德里希·卫龙 从非对易图到反初等类。 （英语） Zbl 1474.18004号 数学杂志。日志。 21，第2号，文章ID 2150011，56 p.（2021）. 审核人：米歇尔·赫伯特（Al-Qáhira） MSC公司：18A30型 03元52分 03C75号 18A35型 03E05号 06A07年 2012年1月6日 06C20号 2012年2月6日 第65页 20层06 08C05号机组 08A30型 16E20型 16E50型 PDF格式BibTeX公司 XML格式引用 \textit{F.Wehrung}，J.数学。日志。21，第2号，文章ID 2150011，56页（2021；Zbl 1474.18004） 全文： 内政部 arXiv公司
安德烈亚斯·费尔斯塔德;詹·弗雷德里克·奥尔森 \（\mathrm{IKT}^\omega\）和\ukasiewicz模型。 （英语） Zbl 1529.03170号 圣母院J.形式逻辑 62，第2期，247-256（2021）.MSC公司：03B50号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fjellstad}和\textit{J.-F.Olsen}，圣母院J.形式逻辑62，No.2，247--256（2021；Zbl 1529.03170） 全文： 内政部 arXiv公司
拉米·格罗斯伯格;马扎里·阿尔米达，马科斯 抽象初等类中的简单独立关系。 （英语） Zbl 07358538号 Ann.纯粹应用。逻辑 172，第7号，文章ID 102971，28 p.（2021）.MSC公司：03C48号 03C45号机组 03C55号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Grossberg}和\textit{M.Mazari-Armida}，Ann.Pure Appl。逻辑172，第7号，文章ID 102971，第28页（2021；Zbl 07358538） 全文： 内政部 arXiv公司
威尔·博尼;迈克尔·利伯曼 温和、有力的形象和庞大的红衣主教。 （英语） Zbl 07355294号 数学杂志。日志。 21，第1号，文章ID 2050024，18 p.（2021）. 审核人：Panagis Karazeris（帕特拉） MSC公司：03E55型 18立方厘米 03E75型 03C20号 03C48号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}和\textit{M.Lieberman}，J.数学。日志。21，第1号，文章ID 2050024，18页（2021；Zbl 07355294） 全文： 内政部 arXiv公司
萨拉、撒哈拉;安德烈斯·维拉维塞斯 哈特·谢拉（Hart-Shelah）的例子具有更强的逻辑性。 （英语） Zbl 1529.03205号 Ann.纯粹应用。逻辑 172，第6号，文章ID 102958，23 p.（2021）.MSC公司：03C48号 03C35号 03元50分 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{A.Villaves}，Ann.Pure Appl。逻辑172，第6号，文章ID 102958，23页（2021；Zbl 1529.03205） 全文： 内政部 arXiv公司
蒂姆·坎皮恩;叶金河 抽象初等类的同伦类型。 （英语） 兹比尔1498.03079 J.纯应用。代数 225，第5号，文章ID 106461，10页（2021）.MSC公司：03C48号 03元52分 03C75号 18号40 55立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{T.Campion}和\textit{J.Ye}，J.Pure Appl。代数225，第5号，文章ID 106461，10 p.（2021；Zbl 1498.03079） 全文： 内政部 arXiv公司
D.奥辛。 拓扑零定律和有限生成群的初等等价。 （英语） Zbl 1498.03085号 Ann.纯粹应用。逻辑 172，第3号，文章ID 102915，37 p.（2021）.MSC公司：03C60型 20层65 20楼67 20F05型 03E15年 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Osin}，Ann.《纯粹的应用》。逻辑172，第3号，文章ID 102915，37页（2021；Zbl 1498.03085） 全文： 内政部 arXiv公司
Kivimäki，希里;Väänänen，佐科;安德烈斯·维拉维塞斯 卡塔赫纳逻辑。 arXiv:2108.13495 预打印，arXiv:2108.13495[math.LO]（2021）。MSC公司：03C40号 03C55号 03C75号 03C95号 BibTeX公司 引用 \textit{S.Kivimäki}等人，“卡塔赫纳逻辑”，预打印，arXiv:2108.13495[math.LO]（2021） 全文： arXiv公司 OA许可证
萨拉、撒哈拉 严格稳定情况下的Hanf数。 （英语） Zbl 1521.03111号 数学。日志。问：。 66，第3期，280-294（2020年）.MSC公司：03C75号 03C45号机组 03元50分 03C55号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}，数学。日志。问66，第3号，280-294（2020；Zbl 1521.03111） 全文： 内政部
阿努吉·达瓦尔;埃里希·格拉德尔;马蒂亚斯·霍尔泽尔 乘积结构随机展开的收敛和非收敛律。 （英语） Zbl 07614722号 安德烈亚斯·布拉斯（编辑）等人，《逻辑与计算领域III》，纪念尤里·古雷维奇80岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。12180, 118-132 (2020).MSC公司：03立方厘米13 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人，Lect。注释计算。科学。12180118-132（2020年；兹bl 07614722） 全文： 内政部
威尔·博尼 超积和平均类。 （英语） Zbl 1513.03078号 J.应用。日志。-IfCoLog J.日志。申请。 7，第4期，459-497（2020）.MSC公司：03C20号 03C48号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}，J.Appl（J.应用）。日志。-IfCoLog J.日志。申请。7，第4号，459--497（2020；Zbl 1513.03078） 全文： arXiv公司
斯捷潘·库兹涅佐夫。 指数无穷动作逻辑的一个有界片段。 （英语） 兹比尔07370015 Nigam，Vivek（编辑）等人，《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12300, 3-16 (2020).MSC公司：03B47号 03楼52 03C75号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov}，莱克特。注释计算。科学。12300，3-16（2020；Zbl 07370015） 全文： 内政部
米克洛斯·费伦齐 超有限逻辑和布尔代数的非标准扩张。 （英语） Zbl 1488.03073号 出版物。数学研究所。，努夫。Sér。 107(121), 53-61 (2020).MSC公司：05年3月 03C75号 06E25年 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferenczi}，出版物。数学研究所。，努夫。Sér。107（121），53-61（2020；Zbl 1488.03073） 全文： 内政部
克里斯蒂安·埃斯皮恩多拉 Deligne完备性定理的无限推广。 （英语） Zbl 1464.18005号 J.塞姆。日志。 85，第3期，1147-1162（2020年）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18对25 18 C50 03G30型 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{C.Espíndola}，J.Symb。日志。85，第3号，1147--1162（2020；Zbl 1464.18005） 全文： 内政部 arXiv公司
纳撒内尔·利多姆·阿克曼 用经典结构编码完整的度量结构。 （英语） Zbl 1485.03141号 日志。通用。 14，第4期，421-459（2020年）.MSC公司：03C90号 03C66号 54E50型 54E40型 03C75号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Ackerman}，日志。Univers大学。14，第4号，421--459（2020；Zbl 1485.03141） 全文： 内政部
拉切尔·阿尔维;朱莉娅·奈特。;麦考伊CSC，查尔斯 斯科特句子的复杂性。 （英语） 兹比尔1485.03103 芬达姆。数学。 251，第2期，109-129（2020）.MSC公司：03C57号 03C75号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvir}等人，Fundam。数学。251，第2号，109--129（2020；Zbl 1485.03103） 全文： 内政部 arXiv公司
克洛维斯·哈梅尔;富兰克林·D·塔尔。 \（\mathsf的模型理论{C}（C）_理论家。 （英语） Zbl 1485.03139号 拓扑应用程序。 281，文章ID 107197，19 p.（2020）.MSC公司：03C65号 03C45号机组 03C75号 03C95号 03C98号 54立方厘米 46A50型 46B99型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Hamel｝和\textit｛F.D.Tall｝，拓扑应用。281，文章ID 107197，19 p.（2020；Zbl 1485.03139） 全文： 内政部 arXiv公司
迪马·辛纳波娃;伊奥安尼斯·索尔达托斯 Kurepa树和\（\mathcal的光谱{左}_{\omega_1，\omega}\）-句子。 （英语） 兹比尔1485.03228 架构（architecture）。数学。逻辑 59，编号7-8，939-956（2020）.MSC公司：03E75型 03C55号 03E35号 03C75号 03C48号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{D.Sinapova}和\textit{I.Souldatos}，拱门。数学。逻辑59，编号7--8939--956（2020；Zbl 1485.03228） 全文： 内政部 arXiv公司
迈克尔·利伯曼 几乎可测基数的一种分类理论表征。 （英语） Zbl 1461.03050号 程序。美国数学。Soc公司。 148，第9号，4065-4077（2020）. 审核人：马丁·韦斯（波茨坦） MSC公司：03E55型 18立方厘米 03E75型 03C20号 03C48号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.利伯曼}，Proc。美国数学。Soc.148，No.9，4065--4077（2020；Zbl 1461.03050） 全文： 内政部 arXiv公司
威廉·陈;陈瑞元 连续Scott秩上的边界。 （英语） Zbl 1476.03045号 程序。美国数学。Soc公司。 148，第8号，3591-3605（2020）. 审核人：Marat M.Arslanov（喀山） MSC公司：03C57号 03C75号 03D60年 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{W.Chan}和\textit{R.Chen}，Proc。美国数学。Soc.148，编号8，3591--3605（2020；兹bl 1476.03045） 全文： 内政部 arXiv公司
威尔·博尼 大基数的模型理论特征。 （英语） Zbl 1443.03029号 以色列。数学杂志。 236，第1期，133-181（2020）. 审核人：路易斯·米格尔·维莱加斯·席尔瓦（墨西哥城） MSC公司：03E55型 03C20号 03C55号 03C75号 03C85号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}，以色列。数学杂志。236，编号1，133--181（2020；Zbl 1443.03029） 全文： 内政部 arXiv公司
拉扎菲马哈特拉特拉，A.S。;朱可夫斯基，M。 稀疏随机图的（k）-变量一阶逻辑的零一律。 （英语） Zbl 1435.05181号 离散应用程序。数学。 276, 121-128 (2020).MSC公司：05C80号 05C42号 03C75号 03立方厘米13 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Razafimahatratra}和\textit{M.Zhukovskii}，离散应用。数学。276121-128（2020年；Zbl 1435.05181） 全文： 内政部 arXiv公司
约翰·鲍德温;伊奥安尼斯·索尔达托斯 完成\（\mathcal｛L｝_{\omega_1，\omega}\）-具有多基数最大模型的句子。 （英语） Zbl 1521.03110号 数学。日志。问：。 65，第4号，444-452（2019）.MSC公司：03C75号 03C15号 03C30号 03C35号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{J.Baldwin}和\textit{I.Souldatos}，数学。日志。Q.65、No.4、444--452（2019；Zbl 1521.03110） 全文： 内政部 arXiv公司
丹尼斯·萨维利耶夫一世。 关于子模型中可满足性的一阶表示。 （英语） Zbl 1530.03147号 罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 584-593 (2019).MSC公司：03C75号 PDF格式BibTeX公司 XML格式引用 \textit{D.I.Saveliev}，莱克特。注释计算。科学。11541、584--593（2019年；Zbl 1530.03147） 全文： 内政部 arXiv公司
陈瑞元 Borel函子、解释和\（\mathcal）的强概念完备性{左}_{\omega_1\omega}\）。 （英语） Zbl 1457.03062号 事务处理。美国数学。Soc公司。 372，第12号，8955-8983（2019）. 审核人：伊恩·马尔科姆·约翰逊（普林斯顿） MSC公司：03E15年 03G30型 03C15号 18立方厘米 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}，翻译。美国数学。Soc.372，No.12，8955--8983（2019；Zbl 1457.03062） 全文： 内政部 arXiv公司
塞巴斯蒂安·瓦西 大型抽象初等类的范畴谱。 （英语） Zbl 1468.03042号 选择。数学。，新序列号。 25，第5号，第65号论文，51页（2019年）.MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E05号 PDF格式BibTeX公司 XML格式引用 \textit｛S.Vasey｝，选择。数学。，新序列号。25，第5号，第65号论文，51页（2019年；Zbl 1468.03042） 全文： 内政部 arXiv公司
V·菲舍尔。 书评：D.Marker，无限模型理论讲座。 （英语） Zbl 1411.00011号 Monatsh。数学。 188，编号4785（2019）.MSC公司：00A17年 03-02 03C75号 03C60型 03E15年 PDF格式BibTeX公司 XML格式引用 \textit｛V.Fischer｝，Monatsh。数学。188，编号4785（2019；Zbl 1411.00011） 全文： 内政部
迈克尔·利伯曼;罗西克，吉;塞巴斯蒂安·瓦西 从明确的角度寻求独立。 （英语） Zbl 1456.03059号 高级数学。 346, 719-772 (2019). 审核人：阿米特·库伯（坎普尔） MSC公司：03C45号机组 18立方厘米 03C48号 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lieberman}等人，高级数学。346719-772（2019年；Zbl 1456.03059） 全文： 内政部 arXiv公司
迈克尔·利伯曼;罗西克，吉;塞巴斯蒂安·瓦西 通用抽象初等类和局部多表示范畴。 （英语） Zbl 1439.03072号 程序。美国数学。Soc公司。 147，第3号，1283-1298（2019）. 审核人：米歇尔·赫伯特（开罗） MSC公司：03C48号 18立方厘米 03C75号 03C45号机组 03元52分 03C55号 PDF格式BibTeX公司 XML格式引用 \textit{M.利伯曼}等人，Proc。美国数学。Soc.147，No.3，1283--1298（2019；Zbl 1439.03072） 全文： 内政部 arXiv公司
克里斯蒂安·埃斯皮恩多拉 无穷大一阶范畴逻辑。 （英语） Zbl 1445.03077号 Ann.纯粹应用。逻辑 170，第2期，137-162（2019）. 审核人：Hirokazu Nishimura（筑波） MSC公司：03G30型 03C75号 18对25 18 C50 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Espíndola}，Ann.纯应用。逻辑170，No.2，137--162（2019；Zbl 1445.03077） 全文： 内政部 arXiv公司
塞巴斯蒂安·瓦西 无障碍类别、集合论和模型论：邀请函。 arXiv:1904.11307年 预印本，arXiv:1904.11307[math.CT]（2019）。MSC公司：18立方厘米 03C45号机组 03C48号 03元52分 03C55号 03C75号 03E05号 03E55型 BibTeX公司 引用 \textit{S.Vasey}，“可访问的类别、集合论和模型论：邀请”，Preprint，arXiv:1904.11307[math.CT]（2019） 全文： arXiv公司 OA许可证
保罗·拉尔森;萨拉、撒哈拉 固定Scott秩的模型数，作为解析Vaught猜想的反例。 arXiv:1903.09753号 预印本，arXiv:1903.09753[math.LO]（2019）。MSC公司：03C75号 BibTeX公司 引用 \textit{P.Larson}和\textit{S.Shelah}，“固定Scott秩的模型数，作为分析Vaught猜想的反例”，预印本，arXiv:1903.09753[math.LO]（2019） 全文： arXiv公司 OA许可证
塔帕尼·海蒂宁;瓦迪姆·库利科夫 广义Baire空间和无限语言中的Borel*集。 （英语） Zbl 1437.03143号 van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。外部。控制日志。12, 395-412 (2018).MSC公司：03E15年 03C45号机组 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hyttinen}和\textit{V.Kulikov}，Outst。控制日志。12395-412（2018年；Zbl 1437.03143） 全文： 内政部 arXiv公司 链接
米尔纳季阿蒙加;Väänänen，佐科 组合集理论和链逻辑中的一些强逻辑。 （英语） Zbl 1438.03011号 萨拉热窝J.数学。 14（27），第2期，133-141（2018）.MSC公司：03C75号 03C55号 03C80号 03C85号 03E05号 03E55型 03E75型 PDF格式BibTeX公司 XML格式引用 \textit{M.Díamonja}和\textit{J.Väänänen}，萨拉热窝J.Math。14（27），第2号，133--141（2018；Zbl 1438.03011）
安东尼奥·迪·诺拉;拉彭塔，塞拉菲纳;爱荷华州卢什坦 无限逻辑和基本断开的紧凑Hausdorff空间。 （英语） Zbl 1444.03088号 J.日志。计算。 28，第6期，1275-1292（2018）.MSC公司：03B50号 03C75号 第65页 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Nola}等人，J.Log。计算。28，第6号，1275--1292（2018；Zbl 1444.03088） 全文： 内政部 arXiv公司
Goncharov，S.S。;J.F.奈特。;索尔达托斯，我。 可计算结构Scott语句的Hanf数。 （英语） Zbl 1522.03123号 架构（architecture）。数学。逻辑 57，编号7-8，889-907（2018）.MSC公司：03C57号 03D45号 03C75号 03C70号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit｛S.S.Goncharov｝等人，Arch。数学。逻辑57，编号7--8889--907（2018；Zbl 1522.03123） 全文： 内政部 arXiv公司
马修·哈里森·特雷纳;罗素·米勒;安东尼奥·蒙塔尔班 Borel函子和无限解释。 （英语） Zbl 1522.03171号 J.塞姆。日志。 83，第4期，1434-1456（2018）.MSC公司：03D45号 03C57号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}等人，J.Symb。日志。83，第4号，1434--1456（2018；Zbl 1522.03171） 全文： 内政部 arXiv公司
达格·诺曼 书评：D.Marker，无限模型理论讲座。 （英语） Zbl 1404.00008号 螺柱日志。 106，第6期，1319-1323（2018）.MSC公司：00A17年 03-02 03C75号 03C60型 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}，Stud.Log。106，第6号，1319--1323（2018；Zbl 1404.00008） 全文： 内政部
塞巴斯蒂安·瓦西 走向温和抽象初等类的稳定性理论。 （英语） Zbl 1522.03121号 数学杂志。日志。 18，第2号，文章ID 1850009，36 p.（2018）.MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vasey}，J.数学。日志。18，第2号，文章ID 1850009，36 p.（2018；Zbl 1522.03121） 全文： 内政部 arXiv公司
大卫·米洛维奇;伊奥安尼斯·索尔达托斯 模型存在于\（\aleph_\omega\）的非绝对性。 （英语） 兹比尔1522.03148 芬达姆。数学。 243，第2期，179-193（2018）.MSC公司：03C75号 03C48号 03C55号 03E35号 03E50型 03E55型 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{D.Milovich}和\textit{I.Souldatos}，Fundam。数学。243，第2号，179--193（2018；Zbl 1522.03148） 全文： 内政部 arXiv公司
贝尔科娃，玛尔塔;彼得·辛图拉;Lávička，Tomáš 无穷逻辑中的Lindenbaum和对扩展引理。 （英语） Zbl 1509.03176号 Moss，Lawrence S.（编辑）等人，《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10944, 130-144 (2018).MSC公司：03G27号 03B22号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人，Lect。注释计算。科学。10944、130-144（2018年；Zbl 1509.03176） 全文： 内政部
吉列尔莫·巴迪亚;乔安·马科斯 关于可由泛d-Horn语句和泛正析取公理化的结构类。 （英语） Zbl 1522.03103号 代数大学。 79，第2号，第41号论文，第14页（2018年）.MSC公司：03C05号机组 08A70号 08C10号 03C60型 03C75号 12升12 PDF格式BibTeX公司 XML格式引用 \textit｛G.Badia｝和\textit｛J.Marcos｝，代数宇宙。79，第2号，第41号论文，14页（2018；Zbl 1522.03103） 全文： 内政部
Micha M.斯特朗科夫斯基。 通过无穷逻辑对泛类进行公理化。 （英语） Zbl 1403.03054号 代数大学。 79，第2号，第26号论文，12页（2018年）. 审核人：丹尼尔·蒙迪奇（费伦泽） MSC公司：03元52分 03C75号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Stronkowski}，代数大学。79，第2号，第26号文件，第12页（2018年；Zbl 1403.03054） 全文： 内政部
马修·哈里森·特雷纳 斯科特对一个理论的模型进行了排名。 （英语） Zbl 1469.03103号 高级数学。 330, 109-147 (2018).MSC公司：03C57号 03D45号 03C75号 03D60年 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}，高级数学。330109-147（2018；Zbl 1469.03103） 全文： 内政部 arXiv公司
马丁·拜斯;乔纳森·柯比 伪指数映射、变体和拟极小性。 （英语） Zbl 1522.03144号 代数数论 12，第3期，493-549（2018）.MSC公司：03C65号 03C75号 12升12 11J81型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bays}和\textit{J.Kirby}，代数数论12，第3期，493--549（2018；Zbl 1522.03144） 全文： 内政部 arXiv公司 链接
贝克，T。;J·罗西克。 基本等价和可及函子。 （英语） Zbl 1390.18010号 Ann.纯粹应用。逻辑 169，第7号，674-703（2018）. 审核人：Sebastien Vasey（剑桥） MSC公司：18立方厘米 18立方厘米 03C48号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{T.Beke}和\textit{J.Rosick，Ann.Pure Appl。逻辑169，No.7，674--703（2018；Zbl 1390.18010） 全文： 内政部 arXiv公司
萨拉、撒哈拉;塞巴斯蒂安·瓦西 在\（\aleph_{0}\）中稳定的抽象初等类。 （英语） Zbl 1469.03099号 Ann.纯粹应用。逻辑 169，第7号，565-587（2018）.MSC公司：03C48号 03C45号机组 03C55号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{S.Vasey}，Ann.Pure Appl。逻辑169，No.7，565--587（2018；Zbl 1469.03099） 全文： 内政部 arXiv公司
丹尼斯·邦内;弗雷德里克·恩格斯特罗姆 不变性和可定义性，有等式和无等式。 （英语） Zbl 1455.03003号 圣母院J.形式逻辑 59，第1号，109-133（2018）.MSC公司：03A05号 03C75号 03C80号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bonnay｝和\textit｛F.Engström｝，圣母院J·形式逻辑59，第1期，109-133（2018；Zbl 1455.03003） 全文： 内政部 arXiv公司 欧几里得
萨拉、撒哈拉;塞巴斯蒂安·瓦西 分类和多维图表。 arXiv:1805.06291 预印本，arXiv:1805.06291[math.LO]（2018）。MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E05号 03E55型 BibTeX公司 引用 \textit{S.Shelah}和\textit{S.Vasey}，“分类和多维图”，预印本，arXiv:1805.06291[math.LO]（2018） 全文： arXiv公司 OA许可证
米洛什·库里利奇。 前后冷凝系统。 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.0338[math.LO]（2018） 全文： arXiv公司 OA许可证
威尔·博尼 连续逻辑和度量抽象初等类的表示定理。 （英语） Zbl 1469.03098号 数学。日志。问：。 63，第5期，397-414（2017）.MSC公司：03C48号 03C45号机组 03C66号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}，数学。日志。问63，第5号，397--414（2017；Zbl 1469.03098） 全文： 内政部 arXiv公司
保罗·拉森。 斯科特过程。 （英语） Zbl 1433.03093号 JoséIovino（编辑），《超越一阶模型理论》。佛罗里达州博卡拉顿：CRC出版社。23-76 (2017).MSC公司：03C75号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Larson}，in：超越一阶模型理论。佛罗里达州博卡拉顿：CRC出版社。23-76（2017年；Zbl 1433.03093） 全文： arXiv公司
克里斯托弗·伊格尔。 无穷逻辑的表达能力。 （英语） Zbl 1433.03092号 JoséIovino（编辑），《超越一阶模型理论》。佛罗里达州博卡拉顿：CRC出版社。3-22 (2017).MSC公司：03C75号 03C66号 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}，in：超越一阶模型理论。佛罗里达州博卡拉顿：CRC出版社。3--22（2017；Zbl 1433.03092） 全文： arXiv公司
布莱恩·蒂雷尔 斯科特句子的结构不可数。 （英语） Zbl 1398.03156号 本科。数学J。 18，第1期，237-261（2017）.MSC公司：03C75号 03C15号 03C35号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{B.Tyrrell}，本科生。数学J.18，第1期，237-261（2017；兹bl 1398.03156） 全文： 链接
吉列尔莫·巴迪亚 荒谬的无限命题相关语言。 （英语） Zbl 1421.03010号 版本符号。日志。 10，第4期，663-681（2017）.MSC公司：03B47号 03C75号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}，版本符号。日志。10，第4号，663--681（2017；Zbl 1421.03010） 全文： 内政部 arXiv公司
拉米·格罗斯伯格;塞巴斯蒂安·瓦西 温和抽象初等类中超能力的等价定义。 （英语） Zbl 1387.03030号 J.塞姆。日志。 82，第4期，1387-1408（2017）. 审核人：克里斯托弗·伊格尔（维多利亚州） MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Grossberg}和\textit{S.Vasey}，J.Symb。日志。82，第4号，1387--1408（2017；Zbl 1387.03030） 全文： 内政部 arXiv公司
塞巴斯蒂安·瓦西 具有合并的抽象初等类的饱和性和可解性。 （英语） Zbl 1387.03031号 架构（architecture）。数学。逻辑 56，编号5-6，671-690（2017）. 审核人：M.Yasuhara（普林斯顿） MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vasey}，拱门。数学。逻辑56，编号5--6671--690（2017；Zbl 1387.03031） 全文： 内政部 arXiv公司
伊塔伊本·雅科夫;米查尔·杜查;安德烈·涅斯;托多尔·赞科夫 度量Scott分析。 （英语） Zbl 1390.03039号 高级数学。 318, 46-87 (2017). 审核人：艾萨克·戈德布林（欧文） MSC公司：03C75号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben Yaacov}等人，高级数学。318、46-87（2017；Zbl 1390.03039） 全文： 内政部 arXiv公司
米查·瓦利基 解决无限悖论。 （英语） Zbl 1385.03031号 J.塞姆。日志。 82，第2期，709-723（2017）. 审核人：雅罗斯拉夫·施拉姆科（Kryvyi Rih） MSC公司：03B47号 03B53号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}，J.Symb。日志。82，第2号，709--723（2017；Zbl 1385.03031） 全文： 内政部 链接
波拉·塞韦利;德弗里斯，Fer-Jan 无穷eta-Böhm树的无穷lambda演算。 （英语） Zbl 1371.03018号 数学。结构。计算。科学。 27，第5号，681-733（2017）. 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 03C65号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}和\textit{F.-J.de Vries}，数学。结构。计算。科学。27，编号5681-733（2017；兹bl 1371.03018） 全文： 内政部
约翰·鲍德温（John T.Baldwin）。;马丁·科尔文;迈克尔·拉斯科夫斯基。 局部有限AEC中的不相交合并。 （英语） Zbl 1419.03030号 J.塞姆。日志。 82，第1期，98-119（2017）.MSC公司：03C48号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Baldwin}等人，J.Symb。日志。82，第1号，98--119（2017；Zbl 1419.03030） 全文： 内政部 链接
米查尔·杜查 勘误表：“波兰度量空间的Scott秩”。 （英语） Zbl 1403.03084号 Ann.纯粹应用。逻辑 168、7号、1490（2017）.MSC公司：03E15年 03C75号 03C07号机组 第54页第35页 PDF格式BibTeX公司 XML格式引用 \安，textit{M.Doucha}。纯苹果。逻辑168，No.7，1490（2017；Zbl 1403.03084） 全文： 内政部
Monica M.范迪伦。;塞巴斯蒂安·瓦西 具有合并的抽象初等类中的对称性。 （英语） 兹比尔1421.03016 架构（architecture）。数学。逻辑 56，编号3-4423-452（2017）.MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.VanDieren}和\textit{S.Vasey}，Arch。数学。逻辑56，No.3--4，423--452（2017；Zbl 1421.03016） 全文： 内政部 arXiv公司
塞巴斯蒂安·瓦西 谢拉在普适类中的最终分类猜想。二、。 （英语） Zbl 1442.03016号 选择。数学。，新序列号。 23，第2期，1469-1506（2017）.MSC公司：03C48号 03C45号机组 03元52分 03C55号 03C75号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vasey}，Sel。数学。，新序列号。23，第2号，1469--1506（2017；Zbl 1442.03016） 全文： 内政部 arXiv公司
皮埃尔路易吉·米纳里 关于无限模态逻辑的证明理论和语义的一些评论。 （英语） Zbl 1439.03045号 Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，在Gerhard Jäger 60岁生日之际，瑞士伯尔尼，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 291-318 (2016).MSC公司：03B45号 03C75号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛P.Minari｝，程序。计算。科学。申请。日志。28、291--318（2016；Zbl 1439.03045） 全文： 内政部
迈克尔·拉特扬 关于巴尔定理的评论：几何理论中的证明。 （英语） Zbl 1433.03165号 Probst，Dieter（编辑）等人，《数学、哲学和计算机科学中的证明概念》。基于2013年9月9日至13日瑞士伯尔尼洪堡-科尔勒格号。Ontos数学逻辑6。柏林：De Gruyter。347-374 (2016).MSC公司：03G30型 05年3月 03楼50 03C75号 18对25 PDF格式BibTeX公司 XML格式引用 \textit｛M.Rathjen｝，Ontos数学。日志。6347-374（2016年；Zbl 1433.03165） 全文： 内政部 arXiv公司
阿列克桑达尔·佩罗维奇;道德，德拉甘;佐兰·奥格尼亚诺维奇;米奥德拉，拉舍科维奇 可数结构中命题公式的评价。 （英语） Zbl 1474.03064号 菲洛马 30，第1期，第1-13页（2016年）.MSC公司：03英镑05 03C15号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Perović}等人，Filomat 30，No.1，1--13（2016；Zbl 1474.03064） 全文： 内政部