洛塔尔·塞巴斯蒂安·克拉普;萨尔马·库尔曼;莫里茨·林克 根据价值组的条件定义亨塞利安估值。 （英语） Zbl 07735945号 J.塞姆。日志。 88，编号3，1064-1082（2023）.MSC公司：03C40号 03C64号 12月10日 12升12 12J25型 13月15日 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Krapp}等人，J.Symb。日志。88，编号3，1064--1082（2023；Zbl 07735945） 全文： DOI程序 arXiv公司
英戈·布莱希施密特;彼得·舒斯特 可数环中的极大理想，构造性地。 （英语） Zbl 1524.13008号 Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 24-38 (2022). 审核人：亚历山大·莱文（华盛顿特区） MSC公司：13甲15 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{I.Blechschmidt}和\textit{P.Schuster}，莱克特。注释计算。科学。13359，24-38（2022年；兹比尔1524.13008） 全文： DOI程序 arXiv公司
丹尼尔·米塞尔贝克·韦塞尔;戴维·里纳尔迪 走向正式的贝尔标准。 （英语） 兹比尔1499.03059 融合数学。 14，编号1，49-63（2022）.MSC公司：65楼03号 03层60 05年3月 03E25型 03G10年 2012年2月6日 13C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Misselbeck-Wessel}和\textit{D.Rinaldi}，合流数学。14，编号1，49--63（2022；Zbl 1499.03059） 全文： DOI程序
Bharathi，Arpitha P。;莫纳尔多·马斯特罗利利 具有双重鉴别器多态性的三元CSP的理想成员问题。 （英语） Zbl 1492.68061号 SIAM J.离散数学。 36，编号3，1800-1822（2022）.MSC公司：65年第68季度 13页第10页 13层20 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Bharathi}和\textit{M.Mastrolilli}，SIAM J.离散数学。36，第3号，1800--1822（2022；Zbl 1492.68061） 全文： DOI程序
朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 命题理论的雅各布森根。 （英语） Zbl 07550752号 牛市。符号。日志。 28，第2期，163-181（2022）.MSC公司：03财年03 65楼03号 13立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Fellin}等人，公牛。符号。日志。28，编号2，163--181（2022；Zbl 07550752） 全文： DOI程序 OA许可证
托马斯·鲍威尔;彼得·舒斯特;弗朗齐斯科斯·威斯内特 克鲁尔定理的通用算法。 （英语） Zbl 1505.03136号 Inf.计算。 287，文章ID 104761，21 p.（2022）. 审核人：弗拉基克·雅。克雷诺维奇（埃尔帕索） MSC公司：03层60 13甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}等人，《Inf.Compute》。287，文章ID 104761，21 p.（2022；Zbl 1505.03136） 全文： DOI程序 链接
彼得·舒斯特;丹尼尔·韦塞尔;伊森Yengui 完整性的动态评估和Krull引理的计算内容。 （英语） Zbl 1491.13011号 J.纯应用。代数 226，第1号，文章ID 106794，第7页（2022）. 审核人：保罗·莱拉（特伦托） MSC公司：13甲18 65楼03号 16页60 PDF格式BibTeX公司 XML格式引用 \textit{P.Schuster}等人，J.Pure Appl。代数226，第1号，文章ID 106794，第7页（2022；Zbl 1491.13011） 全文： DOI程序
伍丁·W·休 图灵确定性和苏斯林集。 （英语） Zbl 07527578号 N.Z.J.数学。 52, 845-863 (2021).MSC公司：03年XX月 2013年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Woodin}，N.Z.J.数学。52、845--863（2021；Zbl 07527578） 全文： DOI程序 OA许可证
丹尼尔·韦塞尔 关于连通约化环的注记。 （英语） Zbl 1481.13016号 J.通信。代数 13，第4号，583-588（2021）. 审核人：马尔科·贝尼尼（布奇纳斯科） MSC公司：13号B25 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{D.Wessel}，J.Commut。代数13，第4期，583–588（2021年；Zbl 1481.13016） 全文： DOI程序 链接
彼得·舒斯特;丹尼尔·韦塞尔 语义语法：克鲁尔的最大理想定理。 （英语） Zbl 1490.13001号 Gerhard Heinzmann等人（编辑），Paul Lorenzen–数学家和逻辑学家。2018年3月8日至9日在德国康斯坦茨举行的研讨会上发表的意见。查姆：斯普林格。日志。认识论。统一科学。51, 77-102 (2021). 审核人：Radoslav M.Dimitrić（纽约） MSC公司：13-03 03E25型 13立方厘米 01年6月 03A05号 65楼03号 01A70号 13甲15 13E05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Schuster}和\textit{D.Wessel}，Log。认识论。统一科学。51、77——102（2021；Zbl 1490.13001） 全文： DOI程序 OA许可证
马可·巴龙;尼科拉斯·卡罗;尤德斯·纳齐亚泽诺 约化不可分解多项式环中整数的一致可定义性。 （英语） Zbl 1485.03090号 J.塞姆。日志。 85，第4期，1376-1402（2020）.MSC公司：03C40号 03C60型 03B25号 13层20 PDF格式BibTeX公司 XML格式引用 \textit{M.Barone}等人，J.Symb。日志。85，第4号，1376--1402（2020；Zbl 1485.03090） 全文： DOI程序 反向链接： 卫生官员 卫生官员
希曼舒·舒克拉;亚利汉特·杰恩;阿米特·库伯 具有密集线性阶的可定义组合。 （英语） Zbl 1486.03068号 架构（architecture）。数学。逻辑 59，编号5-6，679-701（2020）. 审核人：伊曼纽尔·哈卢普佐克（利兹） MSC公司：03C64号 06年05月 第13天第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Shukla}等人，Arch。数学。逻辑59，编号5--6，679--701（2020；Zbl 1486.03068） 全文： DOI程序 arXiv公司
特蕾莎·克雷斯波;兹比格尼乌·哈伊托 实微分场的Picard-Vessiot扩张。 （英语） Zbl 1447.12004年 对称可积几何。方法应用。 15，论文100，第11页（2019年）. 审核人：Mykola Grygorenko（基辅） MSC公司：2005年12月 13个B05 14第05页 第12天15 PDF格式BibTeX公司 XML格式引用 \textit｛T.Crespo｝和\textit｛Z.Hajto｝，SIGMA，对称可积几何。方法应用。15，论文100，11页（2019；Zbl 1447.12004） 全文： DOI程序
可口、蒂埃里;伦巴第，亨利;斯特凡·纽沃思 由有序群和正则理想系统生成的格序群。 （英语） Zbl 1496.06018号 落基山J.数学。 49，第5期，1449-1489（2019）.MSC公司：20层06 05年6月 13甲15 13号B22 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《落基山数学》。49，第5号，1449--1489（2019；Zbl 1496.06018） 全文： DOI程序 arXiv公司 欧几里得
戴维·里纳尔迪;丹尼尔·韦塞尔 包含关系的剪切消除。 （英语） Zbl 1477.03243号 架构（architecture）。数学。逻辑 58，编号5-6，605-625（2019）.MSC公司：05年3月 65楼03号 13层25 PDF格式BibTeX公司 XML格式引用 \textit{D.Rinaldi}和\textit{D.Wessel}，拱门。数学。逻辑58，编号5--6，605--625（2019；Zbl 1477.03243） 全文： DOI程序
克里斯·康尼迪斯。 Artian环的可计算性、可定义性和证明理论。 （英语） Zbl 1454.03016号 高级数学。 341, 1-39 (2019).MSC公司：03B30型 35楼03号 03D45号 13E10号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Conidis}，高级数学。341，1--39（2019年；Zbl 1454.03016） 全文： DOI程序
安妮特·巴赫迈尔;大卫·哈巴特;朱莉娅·哈特曼 Laurent级数域上的差分嵌入问题。 （英语） Zbl 1431.12004年 J.代数 513, 99-112 (2018). 审核人：Mykola Grygorenko（基辅） MSC公司：2005年12月 20世纪15年代 12楼 13层25 14H25号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bachmayr｝等人，《代数杂志》513，99-112（2018；Zbl 1431.12004） 全文： DOI程序 arXiv公司
曼托娃，文森佐;米卡·马图辛斯基 带导数的超实数、Hardy域和变换级数：一项调查。为了纪念默里·马歇尔。 （英语） Zbl 1437.03132号 Broglia，Fabrizio（编辑）等人，有序代数结构和相关主题。2015年10月12-16日，在法国鲁米尼CIRM举行的国际会议。诉讼程序。普罗维登斯，RI：美国数学学会（AMS）。康斯坦普。数学。697, 265-290 (2017).MSC公司：03C64号 12月15日 13N15号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Mantova}和\textit{M.Matusinski}，康特姆。数学。697265-290（2017年；Zbl 1437.03132） 全文： DOI程序
吕克·贝莱尔 Witt向量中Frobenius代数方程的近似。 （英语） Zbl 1166.13030号 J.代数 321，第9期，2353-2364（2009）.MSC公司：13公里05 PDF格式BibTeX公司 XML格式引用 \textit{L.Bélair}，J.Algebra 321，第9期，2353--2364（2009；Zbl 1166.13030） 全文： DOI程序 链接
阿纳托勒·赫利夫 双可解性和QFA结构：一些可溶群和交换环的研究。（双解释表结构QFA：群的可解集与附件交换集。 （法语。英文摘要） Zbl 1117.03041号 C.R.，数学。，阿卡德。科学。巴黎 345，第2号，59-61（2007）.MSC公司：03C60型 20甲15 2005年10月13日 PDF格式BibTeX公司 XML格式引用 \textit{A.Khelif}，C.R.，数学。，阿卡德。科学。巴黎345，No.2，59--61（2007；Zbl 1117.03041） 全文： DOI程序