奥斯瓦尔多·古兹曼 Katětov订购\（\mathsf{MAD}\）系列。 （英语） Zbl 07854639号 J.塞姆。日志。 89，编号2，794-828（2024）.MSC公司：03E17年 03E05号 03E35号 PDF格式BibTeX公司 XML格式引用 \文本{O.Guzmán}，J.Symb。日志。89，第2号，794--828（2024；Zbl 07854639） 全文： 内政部 OA许可证
肯塔罗州藤本市;沃尔克·哈尔巴赫 经典的确定真理。一、。 （英语） Zbl 07827889号 J.塞姆。日志。 89，编号1，218-261（2024）.MSC公司：03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Fujimoto}和\textit{V.Halbach}，J.Symb。日志。89，编号1，218--261（2024；Zbl 07827889） 全文： 内政部 OA许可证
吉列尔莫·巴迪亚;泽维尔·凯塞多;Carles诺格拉 无恒等式逻辑的极大性。 （英语） Zbl 07827883号 J.塞姆。日志。 89，编号1，147-162（2024）.MSC公司：03年10月 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人，J.Symb。日志。89，编号1，147--162（2024；Zbl 07827883） 全文： 内政部 arXiv公司 OA许可证
詹姆斯·沃尔什 通过序数分析得到的一个不完全性定理。 （英语） Zbl 07827880号 J.塞姆。日志。 89，第1号，80-96（2024）.MSC公司：2015年1月3日 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Walsh}，J.Symb。日志。89，编号1，80--96（2024；Zbl 07827880） 全文： 内政部 arXiv公司
阿里·埃纳亚特;Łełyk，马特乌斯 皮亚诺算法的公理化：真理观。 （英语） Zbl 07781912号 J.塞姆。日志。 88，第4期，1526-1555（2023）.MSC公司：30楼03号 35层03 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Enayat}和textit{M.ełyk}，J.Symb。日志。88，编号4，1526--1555（2023；Zbl 07781912） 全文： 内政部 OA许可证
藤原，Makoto;Kurahashi、Taishi 半经典算术的守恒定理。 （英语） Zbl 07781910号 J.塞姆。日志。 88，第4期，1469-1496（2023）.MSC公司：03B20型 03财年03 30楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi}，J.Symb。日志。88，编号4，1469-1496（2023；Zbl 07781910） 全文： 内政部 arXiv公司
丹尼尔·马克斯·霍夫曼;阿南德·皮莱 Thorn-forking、弱正态性和带选择器的理论。 （英语） Zbl 07781905号 J.塞姆。日志。 88，第4期，1354-1366（2023）.MSC公司：03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Hoffmann}和\textit{A.Pillay}，J.Symb。日志。88，编号4，1354---1366（2023；Zbl 07781905） 全文： 内政部 arXiv公司
克里斯·兰比·汉森;阿萨夫·里诺特 克纳斯特和朋友们。III： 亚附加色。 （英语） Zbl 07735952号 J.塞姆。日志。 88，第3期，1230-1280（2023）.MSC公司：03E35号 03E02号 03E05号 2010年6月 PDF格式BibTeX公司 XML格式引用 \textit{C.Lambie-Hanson}和\textit{A.Rinot}，J.Symb。日志。88，第3号，1230-1280（2023；兹bl 07735952） 全文： 内政部 arXiv公司 OA许可证
洛塔尔·塞巴斯蒂安·克拉普;萨尔马·库尔曼;莫里茨·林克 根据价值组的条件定义亨塞利安估值。 （英语） 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） 全文： 内政部 arXiv公司
Sy-David弗里德曼;维多利亚州吉特曼;桑德拉·米勒 稳定堆芯的结构特性。 （英语） Zbl 07735940号 J.塞姆。日志。 88，编号3，889-918（2023）.MSC公司：03E45型 03E47型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.-D.Friedman}等人，J.Symb。日志。88，编号3889-918（2023；兹bl 07735940） 全文： 内政部 arXiv公司 OA许可证
理查德·肖尔（Richard A.Shore）。 超算术分析的几乎定理。 （英语） Zbl 1525.03056号 J.塞姆。日志。 88，第2期，664-696（2023年）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 35楼03号 03天55 05C63号 65楼03号 03天80 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore}，J.Symb（J.塞姆）。日志。88，编号2，664--696（2023；Zbl 1525.03056） 全文： 内政部
达格·诺曼;山姆·桑德斯 关于\（\mathbb{R}\）的不可数性。 （英语） Zbl 1523.03004号 J.塞姆。日志。 87，第4期，1474-1521（2022）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 35楼03号 03D65年 03天55 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders}，J.Symb。日志。87，第4号，1474--1521（2022；Zbl 1523.03004） 全文： 内政部 arXiv公司
兹拉坦·达姆贾诺维奇 弱的本质上不可判定理论的相互解释性。 （英语） 兹比尔07620694 J.塞姆。日志。 87，第4期，1374-1395（2022）.MSC公司：35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic}，J.Symb。日志。87，第4号，1374--1395（2022；Zbl 07620694） 全文： 内政部 arXiv公司
意大利卡普兰;奥里·塞格尔;萨拉、撒哈拉 从属理论中的布尔类型。 （英语） Zbl 07620693号 J.塞姆。日志。 87，第4期，1349-1373（2022）.MSC公司：03C45号机组 03C95号 05年3月 28A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Kaplan}等人，J.Symb。日志。87，第4号，1349--1373（2022；Zbl 07620693） 全文： 内政部 arXiv公司 OA许可证
埃尔凡·哈尼基 关于有限域中不完全性猜想的新关系和分离。 （英语） Zbl 1531.03097号 J.塞姆。日志。 87，编号3，912-937（2022）.MSC公司：20层03 2015年3月1日 2015年第68季度 30楼03号 03F40型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛E.Khaniki｝，J.Symb。日志。87，第3号，912--937（2022；Zbl 1531.03097） 全文： 内政部 arXiv公司
阿诺·保利;琳达·韦斯特里克;于，梁 吕津（N）和随机性反射。 （英语） Zbl 07541923号 J.塞姆。日志。 87802-828号（2022）.MSC公司：03天32分 26A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pauly}等人，J.Symb。日志。87，第2号，802--828（2022；Zbl 07541923） 全文： 内政部 arXiv公司 链接
刘璐;卢多维奇·佩蒂 薄集的逆向数学和Erdős-Moser定理。 （英语） Zbl 07506780号 J.塞姆。日志。 87，编号1，313-346（2022）.MSC公司：03天80 35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{L.Patey}，J.Symb。日志。87，编号1，313--346（2022；Zbl 07506780） 全文： 内政部 arXiv公司 哈尔
阿瑟·W·阿普特。 前两个可测基数强紧时的不可分解性。 （英语） Zbl 07506776号 J.塞姆。日志。 87，第1期，214-227（2022）.MSC公司：03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \文本｛A.W.Apter｝，J.Symb。日志。87，编号1，214--227（2022；Zbl 07506776） 全文： 内政部
卢多维奇·佩蒂 类Ramsey定理和计算模。 （英语） Zbl 1505.03028号 J.塞姆。日志。 87，编号1，72-108（2022）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 03天80 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey}，J.Symb。日志。87，编号1，72--108（2022；Zbl 1505.03028） 全文： 内政部 arXiv公司
亨特·蔡斯;詹姆斯·弗雷塔格 禁止序列的模型理论和组合学。 （英语） Zbl 07506766号 J.塞姆。日志。 87，第1号，1-20（2022）.MSC公司：03C45号机组 03C98号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{H.Chase}和\textit{J.Freitag}，J.Symb。日志。87，编号1，1--20（2022；Zbl 07506766） 全文： 内政部 arXiv公司
米罗斯拉夫·奥沙克 一般同余满足半分配代数的Maltsev条件。 （英语） Zbl 1487.08002号 J.塞姆。日志。 86，第4期，1432-1451（2021）. 审核人：阿加塔·皮利托夫斯卡（华沙） MSC公司：08B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Olšák}，J.Symb。日志。86，第4号，1432--1451（2021；Zbl 1487.08002） 全文： 内政部 arXiv公司 链接
菲利普·埃利希;卡普兰，埃利奥特 超现实有序指数场。 （英语） Zbl 1495.03057号 J.塞姆。日志。 86，编号3，1066-1115（2021）; 勘误表同上，第87号，第2，871（2022）。 审核人：洛塔尔·塞巴斯蒂安·克拉普（康斯坦茨） MSC公司：03C64号 12月15日 12升12 PDF格式BibTeX公司 XML格式引用 \textit{P.Ehrlich}和\textit{E.Kaplan}，J.Symb。日志。86，编号3，1066--1115（2021；Zbl 1495.03057） 全文： 内政部 arXiv公司
桑德拉·米勒;格里戈尔·萨尔基扬 带有Woodin红衣主教的内部模型中的HOD。 （英语） Zbl 1505.03099号 J.塞姆。日志。 86，第3号，871-896（2021）. 审核人：马丁·韦斯（波茨坦） MSC公司：03E45型 03E60年 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Muller}和\textit{G.Sargsyan}，J.Symb。日志。86，第3号，871--896（2021；Zbl 1505.03099） 全文： 内政部 arXiv公司 OA许可证
何嘉良;Hrušák，迈克尔;迭戈·罗哈斯·雷博利多;索莱奇·萨沃米尔 （F_｛\sigma｝）理想之间的Tukey阶。 （英语） Zbl 07415228号 J.塞姆。日志。 86，第2号，855-870（2021）.MSC公司：03E15年 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{J.He}等人，J.Symb。日志。86，编号2，855--870（2021；Zbl 07415228） 全文： 内政部 arXiv公司
菲利普·吕克;桑德拉·米勒 可测超幂函数的闭包性质。 （英语） Zbl 07415224号 J.塞姆。日志。 86，编号2，762-784（2021）.MSC公司：03E55型 03E05号 03E35号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lücke}和\textit{S.Müller}，J.Symb。日志。86，编号2，762--784（2021；Zbl 07415224） 全文： 内政部 arXiv公司 OA许可证
阿尔弗雷多·罗克·弗雷尔;乔尔·戴维·哈姆金斯 弱集理论中的双重解释。 （英语） Zbl 07415218号 J.塞姆。日志。 86，第2号，609-634（2021）.MSC公司：03E70型 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Roque Freire}和\textit{J.D.Hamkins}，J.Symb。日志。86，编号2609-634（2021；Zbl 07415218） 全文： 内政部 arXiv公司 反向链接： 卫生官员 卫生官员
贝诺伊·莫宁;安德烈·涅斯 Muchnik等级和基本特征。 （英语） Zbl 1485.03160号 J.塞姆。日志。 86，编号2471-498（2021）. 审核人：Jamalbek Tussupov（阿斯塔纳） MSC公司：03日30分 03D28号 03E17年 03天80 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{A.Nies}，J.Symb。日志。86，编号2，471--498（2021；Zbl 1485.03160） 全文： 内政部 arXiv公司
悉达哈·巴斯卡 加厚密度。 （英语） Zbl 1529.03197号 J.塞姆。日志。 86，第1号，110-127（2021）.MSC公司：03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhaskar}，J.Symb（塞姆）。日志。86，编号1，110-127（2021；Zbl 1529.03197） 全文： 内政部 arXiv公司
卡洛·尼古莱;约翰·斯特恩 克里普克-费弗曼真理的模态逻辑。 （英语） Zbl 1491.03015号 J.塞姆。日志。 86，编号1，362-396（2021）. 审核人：Xavier Parent（维也纳） MSC公司：03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit｛C.Nicolai｝和\textit｛J.Stern｝，J.Symb。日志。86，编号1，362--396（2021；Zbl 1491.03015） 全文： 内政部 arXiv公司
马修·哈里森·特雷纳;亚历山大·梅尔尼科夫;孟吴，Keng 波兰空间到同胚的可计算性。 （英语） Zbl 1473.03025号 J.塞姆。日志。 85，第4期，1664-1686（2020）. 审核人：Jamalbek Tussupov（阿斯塔纳） MSC公司：03D78号 03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}等人，J.Symb。日志。85，第4号，1664--1686（2020；Zbl 1473.03025） 全文： 内政部
山崎富代 量子多项式时间可计算性的示意性定义。 （英语） 兹比尔1461.81020 J.塞姆。日志。 85，第4期，1546-1587（2020）.MSC公司：81页68 2012年第68季度 2010年第68季度 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamakami}，J.Symb。日志。85，第4号，1546--1587（2020；Zbl 1461.81020） 全文： 内政部 arXiv公司
罗德·唐尼;诺姆·格林伯格;亚历山大·梅尔尼科夫;孟吴，Keng;丹尼尔·特雷茨基 守时的分类性和普遍性。 （英语） Zbl 1485.03174号 J.塞姆。日志。 85，第4期，1427-1466（2020）.MSC公司：03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人，J.Symb。日志。85，第4号，1427--1466（2020；Zbl 1485.03174） 全文： 内政部
马可·巴龙;尼科拉斯·卡罗;尤德斯·纳齐亚泽诺 约化不可分解多项式环中整数的一致可定义性。 （英语） 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） 全文： 内政部 反向链接： 卫生官员 卫生官员
丹尼尔·沃尔夫 多维精确类、光滑近似和有界4型。 （英语） Zbl 1486.03058号 J.塞姆。日志。 85，第4期，1305-1341（2020）.MSC公司：03立方厘米13 03C20号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Wolf}，J.Symb。日志。85，编号41305-1341（2020；兹bl 1486.03058） 全文： 内政部 arXiv公司
Yair Hayut;斯宾塞·昂格尔 静止反射。 （英语） Zbl 1485.03212号 J.塞姆。日志。 85，第3期，937-959（2020年）.MSC公司：03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hayut}和\textit{S.Unger}，J.Symb。日志。85，第3号，937--959（2020；Zbl 1485.03212） 全文： 内政部 arXiv公司
木原隆树;阿尔贝托·马可尼;阿诺·保利 搜索类似\（\text{自动标签阅读器}_0\)在Weihrauch格子中。 （英语） Zbl 1473.03026号 J.塞姆。日志。 85，第3期，1006-1043（2020）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03D78号 03日30分 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara}等人，J.Symb。日志。85，第3号，1006--1043（2020；Zbl 1473.03026） 全文： 内政部 arXiv公司
卡托洛、拉斐拉 \（N\）-伯克利基数和弱扩展模型。 （英语） Zbl 1485.03217号 J.塞姆。日志。 85，编号2，809-816（2020）.MSC公司：03E45型 03E55型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cutolo}，J.Symb（J.塞班）。日志。85，编号2，809--816（2020；Zbl 1485.03217） 全文： 内政部
鲁伯特·Hölzl;沃尔夫冈·默克尔;约瑟夫·米勒;弗兰克·斯蒂芬;于，梁 Chaitin’s（\Omega）作为连续函数。 （英语） Zbl 1471.03068号 J.塞姆。日志。 85，第1期，486-510（2020年）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03天32分 68问题30 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人，J.Symb。日志。85，第1号，486--510（2020；Zbl 1471.03068） 全文： 内政部
阿里·埃纳亚特;Łełyk，马特乌斯;巴托斯·Wcisło 真理和可行的可约性。 （英语） Zbl 1444.03164号 J.塞姆。日志。 85，第1期，367-421（2020年）. 审核人：维克多·V·潘布西安（格伦代尔） MSC公司：30楼03号 03C62号 2015年3月1日 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{A.Enayat}等人，J.Symb。日志。85，编号1，367--421（2020；Zbl 1444.03164） 全文： 内政部 arXiv公司
Juan P.阿奎莱拉。;Müller，桑德拉 长射影确定性的一致性强度。 （英语） Zbl 1477.03222号 J.塞姆。日志。 85，编号1，338-366（2020）.MSC公司：03E45型 03E60年 03E15年 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.阿奎莱拉}和\textit{S.米勒}，J.塞姆。日志。85，编号1，338--366（2020；Zbl 1477.03222） 全文： 内政部 arXiv公司 链接
安德烈·涅斯;保罗·沙弗 随机性概念和逆向数学。 （英语） Zbl 1444.03013号 J.塞姆。日志。 85，编号1，271-299（2020）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 03天32分 35楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{P.Shafer}，J.Symb。日志。85，第1271-299号（2020年；兹bl 1444.03013） 全文： 内政部 arXiv公司 链接
沈国珍;袁佳晨 无限基数的因子采埃孚二：一致性结果。 （英语） Zbl 1477.03217号 J.塞姆。日志。 85，第1期，244-270（2020年）.MSC公司：03E35号 03E10年 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Shen}和\textit{J.Yuan}，J.Symb。日志。85，编号1，244--270（2020；Zbl 1477.03217） 全文： 内政部 arXiv公司
达乌德西尼乌拉;索莱奇·萨沃米尔 部分自同构、自由合并和自同构群的相干扩张。 （英语） Zbl 1477.03124号 J.塞姆。日志。 85，第1期，199-223（2020）.MSC公司：03立方厘米13 03C15号 20B27型 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Siniora}和\textit{S.Solecki}，J.Symb。日志。85，第1号，199--223（2020；Zbl 1477.03124） 全文： 内政部 arXiv公司
本杰明·米勒。;佐尔坦，维迪尼安斯基 关于可定义拟序的大反链的存在性。 （英语） Zbl 1476.03070号 J.塞姆。日志。 85，第1期，103-108（2020年）. 审核人：Michael Hrusak（莫雷利亚） MSC公司：03E15年 PDF格式BibTeX公司 XML格式引用 \textit｛B.D.Miller｝和\textit｛Z.Vidnyánszky｝，J.Symb。日志。85，编号1，103--108（2020；Zbl 1476.03070） 全文： 内政部 arXiv公司
莱文·海卡赞 正模型理论中的类型空间。 （英语） 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；Zbl 1468.03035） 全文： 内政部 arXiv公司
多米尼克·勒科姆 Borel矩形可数并的分离结果。 （英语） Zbl 1479.03019号 J.塞姆。日志。 84，第2期，517-532（2019）.MSC公司：03E15年 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{D.Lecomte}，J.塞姆。日志。84，第2号，517-532（2019年；兹bl 1479.03019） 全文： 内政部 arXiv公司
特雷弗·威尔逊。 弱显著基数、Erdős基数和一般Vopěnka原则。 （英语） Zbl 1476.03074号 J.塞姆。日志。 84，第4期，1711-1721（2019）. 审核人：Yair Hayut（耶路撒冷） MSC公司：03E55型 PDF格式BibTeX公司 XML格式引用 \textit{T.M.威尔逊}，J.塞姆。日志。84，第4号，1711-1721（2019；Zbl 1476.03074） 全文： 内政部 arXiv公司
达格·诺曼;山姆·桑德斯 可计算性理论、非标准分析及其联系。 （英语） Zbl 1454.03018号 J.塞姆。日志。 84，第4期，1422-1465（2019）.MSC公司：03B30型 03D65年 35楼03号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders}，J.Symb。日志。84，第4号，1422--1465（2019；Zbl 1454.03018） 全文： 内政部 arXiv公司 链接
里斯·约翰斯顿 不可数二叉树中的可计算性。 （英语） Zbl 1498.03095号 J.塞姆。日志。 84，第3期，1049-1098（2019）.MSC公司：03D60年 PDF格式BibTeX公司 XML格式引用 \发短信{R.Johnston}，J.Symb。日志。84，第3号，1049--1098（2019；Zbl 1498.03095） 全文： 内政部 链接
伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 带凹槽的碎片再次出现。 （英语） Zbl 1468.03005号 J.塞姆。日志。 84，第3期，1020-1048（2019）.MSC公司：03B20型 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}等人，J.Symb。日志。84，第3号，1020--1048（2019；Zbl 1468.03005） 全文： 内政部 arXiv公司 链接
丹·萨特鲁普·尼尔森;菲利普·韦尔奇 游戏和类似拉姆西的红衣主教。 （英语） Zbl 1444.03146号 J.塞姆。日志。 84，第1号，408-437（2019）. 审核人：鲍里斯·什奥博特（诺维·萨德） MSC公司：03E35号 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Nielsen}和\textit{P.Welch}，J.Symb。日志。84，第1号，408--437（2019；Zbl 1444.03146） 全文： 内政部 arXiv公司 链接
Chong，Chi Tat先生;吴刘珍;于，梁 （Sigma_2^1）-集的基定理。 （英语） Zbl 1481.03033号 J.塞姆。日志。 84，第1号，376-387（2019）.MSC公司：03日30分 03D60年 第三天65 03E15年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit｛C.T.Chong｝等人，J.Symb。日志。84，第1号，376--387（2019；Zbl 1481.03033） 全文： 内政部
费多尔·帕霍莫夫;阿尔伯特·维瑟 关于克拉耶夫斯基的一个问题。 （英语） Zbl 1441.03010号 J.塞姆。日志。 84，第1号，343-358（2019）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03年10月 03B30型 03日30分 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser}，J.Symb。日志。84，第1号，343--358（2019；Zbl 1441.03010） 全文： 内政部 arXiv公司 链接
佐藤·肯塔罗 关于谓语序数分析的一点注记。重复理解和超限归纳。 （英语） Zbl 1467.03031号 J.塞姆。日志。 84，第1号，226-265（2019）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：30楼03号 05年3月 2015年1月3日 35层03 35楼03号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.Kentaro}，J.Symb。日志。84，编号1，226--265（2019；Zbl 1467.03031） 全文： 内政部
拉希德·阿特迈 模型（L[T_{2n}]\）的分析。 （英语） Zbl 07036424号 J.塞姆。日志。 84，第1期，1-26页（2019年）.MSC公司：03E15年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{R.Atmai}，J.Symb。日志。84，编号1，1-26（2019；Zbl 07036424） 全文： 内政部
塞巴斯蒂安·特维恩。 递归定理的推广。 （英语） Zbl 1477.03163号 J.塞姆。日志。 83，第4期，1683-1690（2018）.MSC公司：03D25号 03D28号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn}，J.Symb。日志。83，第4号，1683-1690（2018；Zbl 1477.03163） 全文： 内政部 arXiv公司
马蒂亚斯·梅尼 可判定对象和双重否定滑轮的统一性和同一性。 （英语） Zbl 1409.18002号 J.塞姆。日志。 83，第4期，1667-1679（2018）.MSC公司：18对25 18层20 1999年3月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Menni}，J.Symb。日志。83，No.4，1667--1679（2018；Zbl 1409.18002） 全文： 内政部 arXiv公司
史蒂文·吉万特;安德烈卡，哈伊纳尔 陪集关系代数的变化。 （英语） Zbl 1477.03263号 J.塞姆。日志。 83，第4期，1595-1609（2018）.MSC公司：03G15年 03C05号机组 03元52分 08C10号 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Givant}和\textit{H.Andréka}，J.Symb。日志。83，第4号，1595--1609（2018；Zbl 1477.03263） 全文： 内政部 arXiv公司 链接
克里斯·兰比·汉森;菲利普·吕克 方形、上升路径和链条条件。 （英语） Zbl 1477.03181号 J.塞姆。日志。 83，第4期，1512-1538（2018）.MSC公司：03E05号 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lambie-Hanson}和\textit{P.Lücke}，J.Symb。日志。83，第4号，1512-1538（2018；Zbl 1477.03181） 全文： 内政部 arXiv公司
Dániel T.Soukup。;拉霍斯·苏库普 无限组合简单明了。 （英语） Zbl 1439.03083号 J.塞姆。日志。 83，编号3，1247-1281（2018）. 审核人：马丁·韦斯（波茨坦） MSC公司：03E05号 03C98号 05C63号 03E35号 第54页第35页 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Soukup}和\textit{L.Soukup}，J.Symb。日志。83，第3号，1247--1281（2018；Zbl 1439.03083） 全文： 内政部 arXiv公司 链接
阿德里安·德罗罗;约书亚·威斯康斯 莫利排名第5的简单群体是不好的。 （英语） Zbl 1499.20086号 J.塞姆。日志。 83，第3期，1217-1228（2018）.MSC公司：2011年1月20日 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Deloro}和\textit{J.Wiscons}，J.Symb。日志。83，第3号，1217--1228（2018；Zbl 1499.20086） 全文： 内政部 arXiv公司 哈尔
肯塔罗州藤本市 集合论上的真理、归纳定义和Kripke-Platk系统。 （英语） Zbl 1475.03070号 J.塞姆。日志。 83，第3期，868-898（2018）. 审核人：莱因哈德·卡勒（里斯本） MSC公司：03B30型 03日70 03E65年 03E70型 35楼03号 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Fujimoto}，J.Symb。日志。83，第3号，868--898（2018；Zbl 1475.03070） 全文： 内政部 链接
埃里克·阿斯托。 本征密度的计算内容。 （英语） Zbl 1436.03223号 J.塞姆。日志。 83，第2期，817-828（2018）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03D28号 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Astor}，J.塞姆。日志。83，No.2，817--828（2018；Zbl 1436.03223） 全文： 内政部 arXiv公司
菲利普·埃利希;埃利奥特·卡普兰 具有简单层次结构的数字系统：康威超现实数字理论的推广。二、。 （英语） Zbl 1507.03099号 J.塞姆。日志。 83，第2期，617-633（2018）.MSC公司：03E10年 03C64号 12月15日 20层06 2015年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{P.Ehrlich}和\textit{E.Kaplan}，J.Symb。日志。83，第2号，617--633（2018；Zbl 1507.03099） 全文： 内政部 链接
滚蛋，冈特 强迫公理、连续体假设和平方原理的层次结构。 （英语） Zbl 1447.03017号 J.塞姆。日志。 83，第1期，256-282（2018）.MSC公司：03E57型 03年4月40日 03E05号 03E50型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{G.Fuchs}，J.Symb。日志。83，第1号，256--282（2018；Zbl 1447.03017） 全文： 内政部 链接
瓦斯科·布拉特卡;塔希纳州拉科托尼亚纳 关于拉姆齐定理的统一计算内容。 （英语） Zbl 1422.03132号 J.塞姆。日志。 82，第4期，1278-1316（2017）.MSC公司：03层60 03日30分 03D78号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{T.Rakotoniaina}，J.Symb。日志。82，第4号，1278--1316（2017；Zbl 1422.03132） 全文： 内政部 arXiv公司
托马斯·伊巴鲁西亚 随机结构的自同构群。 （英语） Zbl 1404.22051号 J.塞姆。日志。 82，第3期，1150-1179（2017）.MSC公司：2010年1月22日 22楼50 03C30号 03C45号机组 03C60型 2015年3月 22A05号 22甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ibarlucía}，J.Symb。日志。82，第3号，1150--1179（2017；Zbl 1404.22051） 全文： 内政部 arXiv公司
塞尔达·罗梅罗，列奥尼达斯;卡洛斯·马丁内斯·拉内罗 有理数子环上加法和可除性的丢番图问题。 （英语） Zbl 1431.11138号 J.塞姆。日志。 82，第3期，1140-1149（2017）.MSC公司：2005年11月 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cerda-Romero}和\textit{C.Martinez-Ranero}，J.Symb。日志。82，第3号，1140--1149（2017；Zbl 1431.11138） 全文： 内政部
菲利普·吕克;拉尔夫·辛德勒;菲利普·施利希特 \（\Sigma_1（\kappa）\）-（\mathrm{H}（\kappa^+）\）的可定义子集。 （英语） Zbl 1422.03110号 J.塞姆。日志。 82，第3期，1106-1131（2017）.MSC公司：03E45型 03E47型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lücke}等人，J.Symb。日志。82、3号、1106--1131（2017；Zbl 1422.03110） 全文： 内政部 arXiv公司
阿萨夫·里诺特;拉尔夫·辛德勒 带有内置钻石的方形。 （英语） Zbl 1422.03095号 J.塞姆。日志。 82，编号3，809-833（2017）.MSC公司：03E05号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rinot}和\textit{R.Schindler}，J.Symb。日志。82，第3号，809--833（2017；Zbl 1422.03095） 全文： 内政部 链接
菲舍尔，维拉;戴维·施里特赛尔;阿瑟·特恩奎斯特 一个共解析Cohen-不可摧毁的极大余有限群。 （英语） Zbl 1427.03052号 J.塞姆。日志。 82，第2期，629-647（2017）.MSC公司：03E15年 03E35号 20B07型 20B35码 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{V.Fischer}等人，J.Symb。日志。82，第2号，629--647（2017；Zbl 1427.03052） 全文： 内政部 arXiv公司
保罗·拉尔森;扎普莱塔尔，金德里奇 选择公理片段的规范模型。 （英语） Zbl 1419.03044号 J.塞姆。日志。 82，第2号，489-509（2017）.MSC公司：03E17年 03E25型 03年4月40日 PDF格式BibTeX公司 XML格式引用 \textit{P.Larson}和\textit{J.Zapletal}，J.Symb。日志。82，第2号，489--509（2017；Zbl 1419.03044） 全文： 内政部 链接
Conley，Clinton T。;本杰明·米勒。 非循环局部可数Borel图的可测完美匹配。 （英语） Zbl 1496.03186号 J.塞姆。日志。 82，第1期，258-271（2017）.MSC公司：03E15年 28A05号 05C15号 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Conley}和\textit{B.D.Miller}，J.Symb。日志。82，第1号，258--271（2017；Zbl 1496.03186） 全文： 内政部 arXiv公司
丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;乔库什，卡尔·G·军。;罗格斯·库珀;Paul E.舒普。 粗可约性和算法随机性。 （英语） 兹比尔1403.03069 J.塞姆。日志。 81，第3期，1028-1046（2016）.MSC公司：03日30分 03D25号 2008年3月28日 03天32分 PDF格式BibTeX公司 XML格式引用 \textit｛D.R.Hirschfeldt｝等人，J.Symb。日志。81，第3号，1028--1046（2016；Zbl 1403.03069） 全文： 内政部 arXiv公司
亚历山大·博罗维克;阿德里安·德罗罗 排名3宾果。 （英语） Zbl 1381.20033号 J.塞姆。日志。 81，第4期，1451-1480（2016）. 审核人：弗兰克·瓦格纳（维尔伯纳） MSC公司：2011年1月20日 03C60型 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Borovik}和\textit{A.Deloro}，J.Symb。日志。81，第4号，1451--1480（2016；Zbl 1381.20033） 全文： 内政部 arXiv公司 哈尔
达米尔·扎法罗夫。 组合原理之间的强约简。 （英语） Zbl 1368.03044号 J.塞姆。日志。 81，第4期，1405-1431（2016）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03天80 03B30型 35楼03号 10年5月 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov}，J.Symb。日志。81、第4号1405--1431（2016；Zbl 1368.03044） 全文： 内政部 arXiv公司 链接
戴，亚当·R。 关于两个递推定理的强度。 （英语） Zbl 1368.03016号 J.塞姆。日志。 81，第4期，1357-1374（2016）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 54H20个 03日30分 35楼03号 03层60 37B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Day}，J.Symb。日志。81、第4号1357--1374（2016；Zbl 1368.03016） 全文： 内政部 arXiv公司
穆罕默德·戈尔沙尼;Yair Hayut 论福尔曼的最大值原则。 （英语） Zbl 1387.03037号 J.塞姆。日志。 81，第4期，1344-1356（2016）. 审核人：皮埃尔·马特（卡昂） MSC公司：03E35号 03E55型 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Golshani}和\textit{Y.Hayut}，J.Symb。日志。81，第4号，1344--1356（2016；Zbl 1387.03037） 全文： 内政部 arXiv公司
罗素·米勒;Ng，Keng Meng女士 等价关系的金融可约性。 （英语） Zbl 1403.03070号 J.塞姆。日志。 81，第4期，1225-1254（2016）.MSC公司：03日30分 PDF格式BibTeX公司 XML格式引用 \textit｛R.Miller｝和\textit｛K.M.Ng｝，J.Symb。日志。81、4号、1225--1254（2016；Zbl 1403.03070） 全文： 内政部 arXiv公司
安东尼奥·蒙塔尔班 没有中间同构问题的结构类。 （英语） Zbl 1436.03233号 J.塞姆。日志。 81，第1期，127-150（2016）.MSC公司：03D45号 03C57号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán}，J.Symb。日志。81，第1号，127--150（2016；Zbl 1436.03233） 全文： 内政部 arXiv公司
穆什菲克·汗 勒贝格密度和（Pi_1^0）类。 （英语） Zbl 1432.03080号 J.塞姆。日志。 81，第1期，80-95（2016）.MSC公司：03天32分 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Khan}，J.Symb。日志。81，第1号，80--95（2016；Zbl 1432.03080） 全文： 内政部
彼得罗·博罗杜林·纳齐亚;巴纳巴斯·法卡斯;格列戈兹·普莱班克 理想在波兰群体和巴拿赫空间中的表现。 （英语） Zbl 1436.03248号 J.塞姆。日志。 80，第4期，1268-1289（2015）.MSC公司：03E15年 03E05号 46B15号机组 PDF格式BibTeX公司 XML格式引用 \textit｛P.Borodulin Nadzieja｝等人，J.Symb。日志。80，第4号，1268--1289（2015；Zbl 1436.03248） 全文： 内政部 arXiv公司
弗朗索瓦·多雷斯。;杰弗里·赫斯特。;保罗·沙弗 在没有（Sigma_2^0）归纳法的情况下比较对角非递归函数的强度。 （英语） Zbl 1373.03016号 J.塞姆。日志。 80，第4号，1211-1235（2015）. 审核人：Leszek Aleksander Kołodziejczyk（华沙） MSC公司：03B30型 35楼03号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{F.G.Dorais}等人，J.Symb。日志。80，第4号，1211--1235（2015；Zbl 1373.03016） 全文： 内政部 arXiv公司 链接
Chong，C.T。;于，梁 较高设置中的随机性。 （英语） Zbl 1386.03046号 J.塞姆。日志。 80，第4期，1131-1148（2015）.MSC公司：03天32分 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}和\textit{L.Yu}，J.Symb。日志。80，第4号，1131--1148（2015；Zbl 1386.03046） 全文： 内政部 链接
阿尔伯特·阿塞里亚斯;莫里茨·米勒;塞尔吉·奥利瓦 相对化弱鸽子洞原理DNF-反驳的下界。 （英语） Zbl 1386.03070号 J.塞姆。日志。 80，第2期，450-476（2015）.MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Atserias｝等人，J.Symb。日志。80，编号2，450-476（2015；Zbl 1386.03070） 全文： 内政部 链接
洛根·M·阿克森。 闭集空间中的Martin-Löf随机性。 （英语） 兹比尔1375.03048 J.塞姆。日志。 80，第2期，359-383（2015）. 审核人：诺姆·格林伯格（惠灵顿） MSC公司：03天32分 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Axon}，J.Symb。日志。80，第2号，359--383（2015；Zbl 1375.03048） 全文： 内政部 链接
亚历山大·克鲁泽。 关于高阶逆数学中的幂等超滤子。 （英语） Zbl 1358.03021号 J.塞姆。日志。 80，第1期，179-193（2015）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 35楼03号 03层60 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer}，J.Symb。日志。80，第1号，179--193（2015；Zbl 1358.03021） 全文： 内政部 arXiv公司
吴刘珍 设置\（H（\omega_2）\）的强制和强冷凝。 （英语） Zbl 1373.03102号 J.塞姆。日志。 80，第1期，56-84（2015）.MSC公司：03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wu}，J.Symb。日志。80，第1号，56-84（2015年；兹bl 1373.03102） 全文： 内政部
安东尼奥·蒙塔尔班 通过真实阶段的优先级参数。 （英语） Zbl 1353.03050号 J.塞姆。日志。 79，第4期，1315-1335（2014）.MSC公司：03D45号 03C57号 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán}，J.Symb。日志。79，第4号，1315--1335（2014；Zbl 1353.03050） 全文： 内政部 arXiv公司
S.杰克逊。;R·凯彻西德。;施卢岑贝格（F.Schlutzenberg）。;伍丁，W.H。 （L（mathbb{R}）中的确定性和Jónsson基数。 （英语） Zbl 1353.03062号 J.塞姆。日志。 79，第4期，1184-1198（2014）.MSC公司：03E55型 03E02号 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{S.Jackson}等人，J.Symb。日志。79，第4号，1184--1198（2014；Zbl 1353.03062） 全文： 内政部 arXiv公司
Konstantinos A.贝罗斯。 波兰群体的普遍亚群。 （英语） Zbl 1353.03055号 J.塞姆。日志。 第4期第79页，1148-1183页（2014年）.MSC公司：03E15年 54甲11 22A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Beros}，J.Symb。日志。79，第4号，1148--1183（2014；Zbl 1353.03055） 全文： 内政部 arXiv公司
奥马尔·塞利姆 关于塔拉格兰德详尽的病理亚测量。 （英语） Zbl 1353.03070号 J.塞姆。日志。 79，第4期，1046-1060（2014）.MSC公司：03E75型 03E40型 28A60型 PDF格式BibTeX公司 XML格式引用 \textit{O.Selim}，J.Symb。日志。79，第4号，1046--1060（2014；Zbl 1353.03070） 全文： 内政部
激光，Clément R.J.Thompson群（F）和（T）可以用整数环进行双向解释。 （英语） Zbl 1353.03030号 J.塞姆。日志。 79，第3期，693-711（2014）.MSC公司：03C60型 03C62号 20甲15 65楼20层 PDF格式BibTeX公司 XML格式引用 \文本｛C.Lasserre｝，J.Symb。日志。79，第3号，693--711（2014；Zbl 1353.03030） 全文： 内政部
罗宾·赫希;艾哈迈德、塔雷克说 圆柱代数以外的代数和无穷维的纯嵌入问题。 （英语） Zbl 1328.03057号 J.塞姆。日志。 79，第1号，208-222（2014）. 审核人：罗杰·马杜克斯（艾姆斯） MSC公司：03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{T.Sayed Ahmed}，J.Symb。日志。79，第1号，208--222（2014；Zbl 1328.03057） 全文： 内政部 链接
W.M.Phillip，Hudelson 质量问题和初始段复杂性。 （英语） Zbl 1337.03061号 J.塞姆。日志。 79，第1期，20-44（2014）.MSC公司：03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.Hudelson}，J.Symb。日志。79，第1号，第20--44号（2014；Zbl 1337.03061） 全文： 内政部
汉斯·肖滕斯 O-极简主义。 （英语） 兹比尔1337.03055 J.塞姆。日志。 79，第2期，355-409（2014）.MSC公司：03C64号 PDF格式BibTeX公司 XML格式引用 \textit{H.Schoutens}，J.Symb。日志。79，第2号，355--409（2014；Zbl 1337.03055） 全文： 内政部 arXiv公司
卡尔·G·琼，乔库施。;安德鲁·刘易斯（Andrew E.M.Lewis）。 对角非计算函数和双社区。 （英语） Zbl 1345.03081号 J.塞姆。日志。 78，第3期，977-988（2013）.MSC公司：03D28号 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Jockusch jun.}和\textit{A.E.M.Lewis}，J.Symb。日志。78，第3号，977--988（2013；Zbl 1345.03081） 全文： 内政部 欧几里得
格里戈尔·萨尔基扬 关于与小鼠定向系统相关的健康前序。 （英语） Zbl 1315.03087号 J.塞姆。日志。 78，第3期，735-763（2013）.MSC公司：03E45型 03E15年 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan}，J.Symb。日志。78，第3号，735--763（2013；Zbl 1315.03087） 全文： 内政部 欧几里得 链接
罗纳德·延森;斯蒂尔，约翰 \（K\）没有可测量值。 （英语） Zbl 1348.03049号 J.塞姆。日志。 78，第3期，708-734（2013）.MSC公司：03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Jensen}和\textit{J.Steel}，J.Symb。日志。78，第3号，708--734（2013；Zbl 1348.03049） 全文： 内政部 欧几里得
托马斯·施图德 一些带有负面自省的证明逻辑的可决定性。 （英语） Zbl 1276.03017号 J.塞姆。日志。 78，第2期，388-402（2013）. 审核人：伯恩哈德·海尼曼（黑根） MSC公司：03B42号 03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer}，J.Symb。日志。78，No.2，388--402（2013；Zbl 1276.03017） 全文： 内政部 欧几里得 链接