符号逻辑公报 简短标题： 牛市。符号。日志。 出版商： 剑桥大学出版社，纽约州西尼亚克；纽约波基普西符号逻辑协会（ASL） 国际标准编号： 1079-8986; 1943-5894/年 在线： https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/all-issues（https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/all-issues）http://projecteuclid.org/all/euclid.bslhttp://www.jstor.org/journal/bullymblogi 评论： 日记账 已编制索引的文档： 615出版物（自1995年起） 索引的引用： 461出版物参考文献18083。 全部的 前5名最新问题 30，编号1（2024） 29，编号4（2023） 29，编号3（2023） 29，编号2（2023） 29，编号1（2023） 28，编号4（2022） 28，编号3（2022） 28，编号2（2022） 28，编号1（2022） 27，编号4（2021） 27，编号3（2021） 27，编号2（2021） 27，编号1（2021） 26，第3-4号（2020） 26，第2期（2020年） 26，第1期（2020年） 25，第4号（2019） 25，第3号（2019） 252019年第2期 252019年第1期 24，第4号（2018） 24，第3号（2018） 24，第2号（2018） 242018年第1期 232017年第4号 232017年第3号 232017年第2期 232017年第1期 222016年第4号 222016年第3号 222016年第2期 222016年第1期 21，第4号（2015年） 212015年第3期 212015年第2期 212015年第1期 202014年第4号 202014年第3期 202014年第2期 202014年第1期 192013年第4号 192013年第3期 192013年第2期 192013年第1期 182012年第4号 182012年第3号 182012年第2期 182012年第1期 172011年第4号 172011年第3期 172011年第2期 172011年第1期 162010年第4期 162010年第3期 162010年第2期 162010年第1期 152009年第4期 152009年第3期 152009年第2期 152009年第1期 142008年第4号 142008年第3号 14，第2号（2008年） 142008年第1期 132007年第4号 132007年第3号 13，第2号（2007年） 132007年第1期 122006年第4号 122006年第3期 122006年第2期 122006年第1期 112005年第4号 112005年第3期 112005年第2期 11，第1号（2005年） 102004年第4期 102004年第3期 102004年第2期 102004年第1期 9，第4号（2003） 92003年第3期 92003年第2期 9，第1期（2003） 82002年第4期 8，第3期（2002年） 82002年第2期 8，第1期（2002年） 72001年第4号 7，第3号（2001） 72001年第2期 72001年第1期 62000年第4期 62000年第3期 62000年第2期 62000年第1期 5，第4号（1999年） 5，第3号（1999） 5，第2期（1999年） 5，第1期（1999年） …还有14卷 全部的 前5名作者 11 秋弘市卡纳莫里 7 亚历山大·凯克里斯。 7 安德烈·奥特弗里德·涅斯 7 冯·柏拉图，简 6 罗德尼·格雷厄姆·唐尼 6 理查德·阿诺德·肖尔 6 阿拉斯代尔·厄克哈特 6 Väänänen，Jouko Antero 5 Sy-David弗里德曼 5 Krajíček，一月 5 查尔斯·帕森斯。 5 阿南德·皮莱 4 谢尔盖·阿特莫夫 4 杰里米·阿维加德 4 罗斯·托马斯·布雷迪 4 所罗门·费弗曼 4 诺姆·格林伯格 4 朱丽叶·卡拉·肯尼迪 4 佩内洛普·麦迪。 4 保罗·曼科苏 4 威弗里德·西格 4 西奥多·斯莱曼（Theodore A.Slaman）。 4 约翰·R·斯蒂尔。 4 德克·范·达伦 三 史蒂夫·阿沃迪 三 Joan Bagaria 三 鲍德温，约翰·T。 三 伊塔伊本·雅科夫 三 比姆博，卡塔林 三 安德烈亚斯·拉斐尔·布拉斯 三 马丁·邦德。 三 蒂姆·巴顿 三 科斯塔·多森 三 Marcia J.格罗泽克。 三 尤里·古里维奇 三 瓦伦蒂娜·S·哈里扎诺夫。 三 利奥·A·哈灵顿。 三 布拉德·哈特。 三 丹尼斯·罗曼·赫施费尔特 三 格雷戈里·霍斯 三 伊恩·马丁·霍德金森 三 朱莉娅·奈特。 三 Phokion G.科莱蒂斯。 三 迈克尔·克里斯·拉斯科夫斯基 三 斯泰芬·伦普 三 Marker，David E。 三 亚历山大·梅尔尼科夫。 三 约瑟夫·米勒。 三 安东尼奥·蒙塔尔班 三 莫肖瓦基斯，伊安尼斯·尼古拉斯 三 意大利尼曼 三 沃尔夫拉姆·波勒 三 克里斯托弗·波特。 三 吉尔·萨吉 三 格里戈尔·萨尔基扬 三 彼得·迈克尔舒斯特 三 斯图尔特·夏皮罗 三 吉拉·谢尔 三 斯蒂芬·辛普森。 三 罗伯特·索尔。 三 莫西·亚亚科夫·瓦尔迪 三 斯坦利·斯科特·韦纳 三 安德烈亚斯·魏尔曼 三 理查德·扎克 三 Zapletal，Jindřich公司 2 阿莱、东山英彦 2 安德鲁·阿拉娜 2 塔蒂亚娜·阿里戈尼 2 阿诺·阿夫隆 2 迈克尔·比森。 2 约翰·莱恩·贝尔 2 Laurent Bienvenu 2 Samuel R.巴斯。 2 沃尔特·亚历山大·卡尼埃利 2 斯特凡尼亚中心 2 程勇 2 彼得·乔拉克（Peter A.Cholak）。 2 约翰·科科兰 2 兹拉坦·达姆贾诺维奇 2 保拉·达奎诺 2 戴维斯，马丁·戴维 2 阿德里安·德罗罗 2 纳鸿·德肖维茨 2 卡洛斯·奥古斯托·迪·普里斯科 2 罗伊·戴克霍夫 2 米尔纳季阿蒙加 2 达米尔·扎法罗夫。 2 赫伯特·B·恩德顿。 2 何塞·费雷洛斯 2 詹姆斯·弗雷塔格 2 吉多·格拉迪 2 史蒂文·吉万特（Steven R.Givant）。 2 沃伦·D·戈德法布。 2 欧文·格里菲斯 2 亚蒂尔·哈列维 2 马修·哈里森·特雷纳 2 迪尔德雷·哈斯克尔 2 阿萨夫·哈森 2 莱昂·艾伯特·汉金 2 贾科·辛提卡 …还有430多名作者 全部的 前5名领域 566 数学逻辑和基础（03-XX） 169 总体主题；集合（00-XX） 126 历史和传记（01-XX） 44 计算机科学（68-XX） 17 组合数学（05-XX） 14 群论与推广（20-XX） 12 测量和集成（28-XX） 10 一般拓扑结构（54至XX） 9 数论（11-XX） 8 功能分析（46倍X倍） 8 几何图形（51至XX） 7 阶、格、有序代数结构（06-XX） 7 场论和多项式（12-XX） 7 范畴理论；同调代数（18-XX） 6 实际功能（26年X月X日） 5 动力系统和遍历理论（37至XX） 4 一般代数系统（08-XX） 三 代数几何（14-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 交换代数（13-XX） 2 抽象谐波分析（43至XX） 2 凸和离散几何（52-XX） 2 概率论与随机过程（60-XX） 2 量子理论（81-XX） 2 信息和通信理论，电路（94-XX） 1 拓扑群、李群（22日至XX日） 1 微分几何（53至XX） 1 代数拓扑（55-XX） 1 整体分析，流形分析（58-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 352出版物有被引用3410中的次2854份文件 引用人▼ 年份▼ 显式可证明性和构造性语义。 Zbl 0980.03059号 谢尔盖·阿特莫夫。 146 2001 一串暗示的逻辑。 Zbl 0930.03095号 O'Hearn，Peter W。;大卫·J·派姆。 103 1999 超线性和索菲特群体：简要指南。 Zbl 1206.20048号 弗拉基米尔·佩斯托夫。 90 2008 关于二变量一阶逻辑的决策问题。 Zbl 0873.03009号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 70 1997 公理存在时的截消。 Zbl 0934.03072号 萨拉·内格里;冯·柏拉图，简 57 1998 可计算分析中的有效选择和有界性原则。 Zbl 1226.03062号 瓦斯科·布拉特卡;吉多·格拉迪 55 2011 命题证明的复杂性。 Zbl 1133.03037号 内森·塞格林德 52 2007 逆向数学中的开放性问题。 Zbl 1233.03023号 安东尼奥·蒙塔尔班 50 2011 命题证明的复杂性。 Zbl 0845.03025号 阿拉斯代尔·厄克哈特 48 1995 校准随机性。 Zbl 1113.03037号 罗德·唐尼;Dennis R.Hirschfeldt。;安德烈·涅斯;塞巴斯蒂安·特维恩。 47 2006 塔斯基几何体系。 Zbl 0932.01031号 阿尔弗雷德·塔斯基;史蒂文·吉万特 44 1999 随机性和可计算性：开放性问题。 兹比尔1169.03033 约瑟夫·米勒。;安德烈·涅斯 43 2006 群同态的自动连续性。 Zbl 1173.03037号 克里斯蒂安·罗森达尔 41 2009 数学、物理和精确实数运算领域。 兹比尔0946.03055 阿巴斯·埃达拉特 40 1997 质量问题和随机性。 Zbl 1090.03015号 斯蒂芬·辛普森。 38 2005 描述组。 Zbl 1167.20017号 安德烈·涅斯 38 2007 间隙强迫：推广Lévy-Solovay定理。 Zbl 0933.03067号 乔尔·戴维·哈姆金斯 36 1999 自动机表示结构：有限字符串情况的调查。 Zbl 1146.03028号 萨沙·鲁宾 36 2008 可计算性和递归。 Zbl 0861.03031号 罗伯特·索尔。 34 1996 分析理想。 兹比尔0862.04002 索莱奇·萨沃米尔 34 1996 核心模型中的方形。 Zbl 0992.03062号 欧内斯特·希默林;马丁·泽曼 31 2001 在线结构理论基础。 Zbl 1477.03167号 尼古拉·巴热诺夫;罗德·唐尼;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫 30 2019 产品的链条件和弱紧基数。 Zbl 1345.03092号 阿萨夫·里诺特 29 2014 二阶逻辑与数学基础。 Zbl 1002.03013号 Väänänen，佐科 28 2001 序数的图灵计算。 Zbl 1096.03053号 彼得·科普克 27 2005 寻找终极的-\（L\）。第19次Midrasha数学讲座。 Zbl 1420.03134号 伍丁·W·休 27 2017 数学需要新的公理吗？ Zbl 0977.03002号 所罗门·费弗曼;哈维·弗里德曼。;梅迪，佩内洛普;约翰·R·斯蒂尔。 25 2000 Gentzen对自然演绎归一化的证明。 Zbl 1145.03003号 冯·柏拉图，简 25 2008 可计算性理论和微分几何。 Zbl 1085.03033号 罗伯特·索尔。 24 2004 确定性的最佳证明。 Zbl 0835.03017号 意大利尼曼 23 1995 我的完备性证明的发现。 Zbl 0882.03001号 莱昂·汉金 23 1996 代数逻辑，它今天在哪里？ Zbl 1111.03053号 艾哈迈德、塔雷克说 23 2005 公理真理理论的相对真理可定义性。 Zbl 1209.03002号 肯塔罗州藤本市 22 2010 数学模糊逻辑。 Zbl 1144.03023号 齐格弗里德·戈特瓦尔德 22 2008 超宇宙计划。 兹比尔1307.03003 塔蒂亚娜·阿里戈尼;Sy-David弗里德曼 22 2013 希尔伯特的节目：1917-1922。 Zbl 0924.03002号 威弗里德·西格 21 1999 描述性集合理论的新方向。 兹伯利0933.03057 亚历山大·凯克里斯。 21 1999 教会的问题再次出现。 Zbl 0932.03029号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 21 1999 具有可定义集的组合数学：Euler特征和Grothendieck环。 Zbl 0968.03036号 简·克拉契克;托马斯·斯坎隆 21 2000 可计算性的自然公理化和Church论文的证明。 Zbl 1167.03027号 纳鸿·德肖维茨;尤里·古里维奇 21 2008 基于规范化和通用性的证明的一致性。 Zbl 1058.03061号 科斯塔·多森 20 2003 机器、逻辑和量子物理。 Zbl 0998.68059号 大卫·多伊奇;阿图尔·埃克特;罗塞拉·卢帕奇尼 20 2000 Borel等价关系的新二分法。 Zbl 0889.03038号 格雷格·霍斯;亚历山大·凯克里斯。 20 1997 绝对算术连续体和所有大小数字的统一。 Zbl 1242.03065号 菲利普·埃利希 20 2012 建设性非标准分析的发展。 Zbl 0920.03063号 埃里克·帕尔姆格伦 19 1998 逻辑性和不变性。 Zbl 1146.03002号 丹尼斯·邦尼 19 2008 内部一致性和内部模型假设。 Zbl 1134.03029号 Sy-David弗里德曼 19 2006 \（\text{HOD}^{L（\mathbb{R}）}\）是下面的核心模型\（Theta\）。 Zbl 0826.03022号 约翰·R·斯蒂尔。 19 1995 一阶逻辑的几何化。 Zbl 1368.03013号 罗伊·戴克霍夫;萨拉·内格里 19 2015 通过析取消除来消除析取。 Zbl 1455.03074号 戴维·里纳尔迪;彼得·舒斯特;丹尼尔·韦塞尔 19 2017 约束满足问题与泛代数。 Zbl 1336.68113号 利波·巴托 18 2015 可计算阿贝尔群。 Zbl 1345.03065号 亚历山大·梅尔尼科夫。 18 2014 解析和结构推理的起源：赫兹和根岑的早期证明理论思想。 Zbl 1005.03004号 彼得·施罗德·海斯特 16 2002 序数分析的最新进展：\（\Pi_2^1-\mathbf C\mathbf A\）及其相关系统。 Zbl 0855.03035号 迈克尔·拉特扬 16 1995 适当的强制和杰出的红衣主教。 Zbl 0960.03044号 Ralf-Dieter辛德勒 16 2000 划分定理和可计算性理论。 Zbl 1097.03037号 约瑟夫·米莱蒂（Joseph R.Mileti）。 16 2005 弗雷格算法的预测片段。 Zbl 1068.03051号 林内波，Ø伊斯坦 15 2004 波斯特之前的完整性：伯奈斯、希尔伯特和命题逻辑的发展。 Zbl 0942.03003号 理查德·扎克 15 1999 从可计算的角度进行分类。 Zbl 1123.03024号 韦斯利·卡尔弗特;朱莉娅·奈特。 15 2006 有限结构中的有限共形超图覆盖和Gaifman团。 Zbl 1058.03031号 伊恩·霍德金森;奥托·马丁 15 2003 克莱恩令人惊讶的第二递归定理。 Zbl 1211.03061号 Moschovakis，Yiannis N。 15 2010 名词性技术的基础：抽象语法中变量的逻辑和语义。 Zbl 1253.03059号 默多克·J·加贝。 15 2011 关于线性序的同构类型。 Zbl 1129.03024号 安东尼奥·蒙塔尔班 15 2007 在证明理论中的强迫。 Zbl 1064.03034号 杰里米·阿维加德 14 2004 lambda演算在逻辑和计算机科学中的影响。 Zbl 0887.03008号 亨克·巴伦德雷格特 14 1997 有限模型理论中逻辑的几乎处处等价。 Zbl 0869.03019号 劳拉，希拉;Phokion G.科莱蒂斯。;科科·洛斯托 14 1996 弱分布性，冯·诺依曼的问题和可测性的奥秘。 Zbl 1120.03028号 波胡斯拉夫·巴尔卡尔;托马斯·杰赫 14 2006 集合论中的组合二分法。 Zbl 1230.03075号 斯特沃·托多切维奇 14 2011 自我参照悖论、不完全性和不动点的通用方法。 Zbl 1067.03012号 诺森·S·亚诺夫斯基。 14 2003 Zermelo良序定理的数学意义。 兹比尔0903.03030 秋弘市卡纳莫里 14 1997 逆向数学与（Pi_2^1）理解。 Zbl 1106.03050号 卡尔·穆默特;斯蒂芬·辛普森。 14 2005 Gentzen的证明系统：天才作品中的副产品。 兹比尔1258.03002 冯·柏拉图，简 14 2012 描述性集合理论的图形理论方法。 Zbl 1361.03047号 本杰明·米勒。 14 2012 描述性内模理论。 Zbl 1307.03030号 格里戈尔·萨尔基扬 14 2013 现代逻辑之路——解读。 Zbl 1005.03003号 何塞·费雷洛斯 13 2001 波兰度量空间：它们的分类和等距群。 Zbl 0994.54037号 约翰·D·克莱门斯。;高，苏;亚历山大·凯克里斯。 13 2001 证明费马最后一个定理需要什么？格罗森迪克和数论的逻辑。 Zbl 1210.03029号 科林·麦克拉蒂 13 2010 非标准算术和逆向数学。 Zbl 1101.03040号 凯斯勒，H.杰罗姆 13 2006 穆奇尼克和梅德韦杰夫学位调查。 Zbl 1248.03063号 彼得·辛曼（Peter G.Hinman）。 13 2012 循序渐进：教会对有效可计算性的分析。 Zbl 0884.03001号 威弗里德·西格 12 1997 真实游戏。 Zbl 1193.03011号 Welch，医学博士。 12 2009 关于Gupta-Belnap修正真值理论、Kripkean不动点和下一稳定集。 Zbl 1009.03006号 P.D.韦尔奇。 12 2001 模型理论和有限结构的一些方面。 Zbl 1017.03015号 埃里克·罗森 12 2002 A.Grothendieck之后的模型理论稳定性和类型的可定义性。 Zbl 1345.03058号 伊塔伊本·雅科夫 12 2014 双变量一阶直觉主义和模态逻辑的不确定性。 邮编1096.03008 罗马人孔查科夫;阿吉·库鲁茨;迈克尔·扎克哈里亚舍夫 12 2005 用不完全随机集计算（K\）-平凡集。 Zbl 1320.03074号 Laurent Bienvenu;戴，亚当·R。;诺姆·格林伯格;安东·库切拉;约瑟夫·米勒。;安德烈·涅斯;丹·特雷茨基 12 2014 语义悖论的图论分析。 Zbl 1437.03017号 蒂莫·贝林格;汤马斯·辛德勒 12 2017 用茂密的树强迫。 Zbl 1421.03021号 穆什菲克·汗;约瑟夫·米勒。 12 2017 二阶逻辑还是集合论？ Zbl 1252.03024号 Väänänen，佐科 12 2012 频谱问题五十年：调查和新结果。 Zbl 1309.03014号 阿诺·杜兰德;Jones，Neil D。;约翰·马考斯基（Johann A.Makowsky）。;更多，马利卡 12 2012 内部模型和大型基数。 Zbl 0843.03029号 罗纳德·延森 11 1995 图式：逻辑史上的图式概念。 兹比尔1123.03001 约翰·科科兰 11 2006 有限Morley秩的完整Frobenius群和Feit-Thompson定理。 Zbl 1002.03024号 埃里克·贾利戈特 11 2001 定点逻辑。 Zbl 1002.03030号 阿努吉·达瓦尔;尤里·古里维奇 11 2002 超有限大数定律。 Zbl 0861.03051号 孙燕能 11 1996 集合论与（C^*）-代数。 Zbl 1127.46043号 尼克·韦弗 11 2007 伪随机生成器的重言式。 Zbl 0983.03046号 简·克拉契克 10 2001 无限进展：再次审视完整性。 Zbl 1078.03047号 托尔科·弗兰泽恩 10 2004 纪念：Kenneth Jon Barwise，1942-2000年。 Zbl 0972.01040号 所罗门·费弗曼 10 2000 集合论从康托到科恩的数学发展。 Zbl 0851.04001号 秋弘市卡纳莫里 10 1996 可计算的紧度量空间。 Zbl 07725101号 罗德尼·G·唐尼。;亚历山大·梅尔尼科夫。 4 2023 逻辑原理的扩展框架和分隔。 兹伯利07749829 藤原真本;石原、Hajime;内莫托、高子;铃木，Nobu-Yuki;Keita横山 2 2023 大基数作为结构反射的原则。 兹伯利07665537 Joan Bagaria 2 2023 在内集理论中构造非标准外壳和勒布测度。 Zbl 1512.03077号 卡雷尔·赫巴切克;米哈伊尔·卡茨（Mikhail G.Katz）。 2 2023 工作模型理论家的饱和模型。 Zbl 07725100号 亚蒂尔·哈列维;意大利卡普兰 1 2023 命题理论的雅各布森根。 Zbl 07550752号 朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 2 2022 构建Wadge类。 Zbl 1504.03026号 拉斐尔·卡罗伊;安德烈亚·梅迪尼;桑德拉·米勒 2 2022 构造数学的仿射逻辑。 Zbl 07606771号 迈克尔·舒尔曼 2 2022 介绍可数结构的Scott复杂性，并对最近的结果进行调查。 Zbl 1501.03002号 马修·哈里森·特雷纳 1 2022 通用Baire集合的密封。 Zbl 07455124号 格里戈尔·萨尔基扬;越南，庄 8 2021 具有停止条件的分离。 兹比尔07455123 科萨克，罗马人;巴托斯·Wcisło 4 2021 隔墙上有强烈的色彩。 Zbl 1496.03179号 威廉·陈-梅尔滕斯;梅纳赫姆·科杰曼;Steprāns，法学 4 2021 建构语义学中的意义/指称区别。 Zbl 1529.03066号 马丁·洛夫（Martin-Löf，Per） 2 2021 从建构主义的角度来看意义和参照。 Zbl 1529.03031号 米歇尔·达米特 2 2021 库尔特·哥德尔（Kurt Gödel）关于逻辑、神学和物理学的矛盾。 Zbl 1482.03001号 蒂姆·莱顿 1 2021 证明逻辑及其会议组合中可判定性的约简技术。 Zbl 07379167号 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 1 2021 哥德尔不完全性定理的研究现状。 Zbl 1497.03067号 程勇 1 2021 逻辑性和模型类。 Zbl 1529.03193号 朱丽叶·肯尼迪;Väänänen，佐科 1 2021 支配和规律。 Zbl 07330990号 阿南德·皮莱 4 2020 求不完全性的极限。一、。 Zbl 1464.03089号 程勇 三 2020 重建钢铁公司的多元宇宙项目。 Zbl 1477.03012号 梅迪，佩内洛普;托比·梅多斯 2 2020 哥德尔微分同胚。 Zbl 1486.03075号 马修·福尔曼 2 2020 对\（L（Q^{text{cf}）\的紧性的一个说明。 Zbl 1477.03156号 恩里克·卡萨诺瓦斯;马丁·齐格勒 1 2020 交换环理论中幂零指数的界：一种证明挖掘方法。 兹比尔1462.03025 费尔南多·费雷拉 1 2020 100年后，Weyl重新审视了《Das Kontinuum》。 Zbl 1458.03006号 阿诺·阿夫隆 1 2020 关于哥德尔和卡纳普的对角引理。 Zbl 1459.03089号 赛义德·萨利希 1 2020 在线结构理论基础。 Zbl 1477.03167号 尼古拉·巴热诺夫;罗德·唐尼;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫 30 2019 强相依场的推测分类。 Zbl 1477.03134号 亚蒂尔·哈列维;阿萨夫·哈森;弗兰齐斯卡·扬克 10 2019 大红衣主教无可厚非。 Zbl 1475.03098号 Joan Bagaria;彼得·科勒纳;伍丁·W·休 7 2019 模型理论和机器学习。 Zbl 1506.03095号 亨特·蔡斯;詹姆斯·弗雷塔格 三 2019 用经典结构实现可实现性结果。 Zbl 07167381号 阿萨夫·卡拉吉拉 2 2019 尺寸连续模型的Henkin构造。 兹伯利07049058 约翰·鲍德温（John T.Baldwin）。;迈克尔·拉斯科夫斯基（Michael C.Laskowski）。 1 2019 模型理论和（mathrm{C}^ast）代数的邀请。 Zbl 1446.03067号 卢皮尼、马蒂诺 1 2019 三段论的间接证明和倒置。 兹比尔1477.03006 罗伊·戴克霍夫 1 2019 Zermelo定理的推广。 Zbl 1477.03226号 Väänänen，佐科 1 2019 Eta规则在Martin-Löf类型理论中。 Zbl 1486.03028号 安斯滕·克莱夫 1 2019 可计算可枚举度的层次结构。 Zbl 1522.03155号 罗德·唐尼;诺姆·格林伯格 6 2018 强大的跳跃追踪能力。 Zbl 1522.03157号 诺姆·格林伯格;丹·特雷茨基 三 2018 多态性和二阶逻辑的顽固循环：一个受害者的故事。 兹比尔1496.03023 保罗·皮斯通 三 2018 书评：Ø。林内波，数学哲学。 Zbl 1393.00024号 戴维·里扎 1 2018 2017年欧洲符号逻辑协会夏季会议，2017年逻辑学术讨论会。2017年8月14日至20日，瑞典斯德哥尔摩。 Zbl 1392.03005号 1 2018 对拉塞尔式分支类型理论的建设性检验。 Zbl 1522.03040号 埃里克·帕尔姆格伦 1 2018 在推理关系的直觉扩张中保持结构属性。 Zbl 1522.03317号 托尔·桑德奎斯特 1 2018 库尔特·哥德尔在逻辑上的第一步：通过自然演绎系统在算术和集合论中进行形式证明。 Zbl 1403.03006号 冯·柏拉图，简 1 2018 寻找终极的-\（L\）。第19届Midrasha数学讲座。 Zbl 1420.03134号 伍丁·W·休 27 2017 通过析取消除来消除析取。 Zbl 1455.03074号 戴维·里纳尔迪;彼得·舒斯特;丹尼尔·韦塞尔 19 2017 语义悖论的图形理论分析。 Zbl 1437.03017号 蒂莫·贝林格;汤马斯·辛德勒 12 2017 用茂密的树强迫。 Zbl 1421.03021号 穆什菲克·汗;约瑟夫·米勒。 12 2017 一些可定义的伽罗瓦理论和例子。 Zbl 1419.03032号 奥马尔·莱昂·桑切斯;阿南德·皮莱 10 2017 有限域中的不完全性。 Zbl 1423.03245号 帕维尔·普德拉克 9 2017 罗宾逊算法和具有可拓性的附加集理论的相互解释性。 Zbl 1421.03027号 兹拉坦·达姆贾诺维奇 6 2017 Laver模型中Hurewicz空间的乘积。 Zbl 1421.03024号 杜珊·列波夫什;吕博米尔·兹多姆斯基 6 2017 元评估。 Zbl 1421.03011号 罗斯·T·布雷迪。 三 2017 最后的直觉分析。 Zbl 1436.03312号 Joan Rand Moschovakis 2 2017 关于逆向数学中Ramsey型语句的开放式问题。 Zbl 1396.03012号 卢多维奇·佩蒂 10 2016 构造几何学和平行假设。 Zbl 1403.03130号 迈克尔·比森 8 2016 超序列框架中的线性时间。 Zbl 1403.03114号 安德烈·因德泽扎克（Andrzej Indrzejczak） 7 2016 使用分析中的几乎所有定理来研究随机性。 Zbl 1401.03079号 宫崎骏;安德烈·涅斯;张静 7 2016 最大可计算性结构。 Zbl 1403.03072号 茨万科伊尔贾佐维奇;Validć，卢西娅 6 2016 深度\（\Pi_1^0\）类。 Zbl 1401.03077号 Laurent Bienvenu;克里斯托弗·波特。 6 2016 可计算性和Connes嵌入问题。 Zbl 1404.03037号 艾萨克·戈德布尔;布拉德·哈特 4 2016 哥德尔的圣母院课程。 Zbl 1380.03003号 米洛舍·阿季奇;科斯塔·多森 三 2016 罗素和哥德尔。 Zbl 1380.03007号 阿拉斯代尔·厄克哈特 三 2016 格序阿贝尔群和完美MV-代数：拓扑理论的观点。 Zbl 1390.06012号 奥利维亚·卡拉梅尔;拉索、安娜·卡拉 三 2016 早期的Bolzano论基础因果证明。 兹比尔1384.03005 斯特凡妮娅·森特隆 三 2016 抽象与表意理解的力量。 Zbl 1403.03121号 肖恩·沃尔什 2 2016 相对论运算集理论。 Zbl 1432.03127号 杰格，格哈德 2 2016 同构不变性和超生成。 Zbl 1384.03032号 欧文·格里菲斯;A.C.帕索。 1 2016 书评：Barry Cooper S.（编辑）和Hodges Andrew（编辑），《曾经和未来的图灵》，《计算世界》。 Zbl 1362.00022号 阿拉斯代尔·厄克哈特 1 2016 符号逻辑协会2015年欧洲夏季会议。2015年8月3日至8日，芬兰赫尔辛基，第15届逻辑研讨会。 Zbl 1364.00054号 1 2016 一阶逻辑的几何化。 Zbl 1368.03013号 罗伊·戴克霍夫;萨拉·内格里 19 2015 约束满足问题与泛代数。 Zbl 1336.68113号 利波·巴托 18 2015 德穆特走向随机的道路。 Zbl 1348.03002号 安东·库切拉;安德烈·涅斯;克里斯托弗·波特。 三 2015 海因里希·贝曼1921年关于决策问题和逻辑代数的演讲。 Zbl 1369.03013号 保罗·曼科苏;理查德·扎克 2 2015 重温饱和自由代数。 Zbl 1372.03066号 阿南德·皮莱;里佐斯·斯科利诺斯 2 2015 赫伯兰定理和非欧几里德几何。 兹比尔1375.03079 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 存在导入数学。 Zbl 1368.03012号 约翰·科科兰;哈桑·马苏德 1 2015 排字机的便利性；弗雷格的符号和版式Grundgesetze der Arithmetik算法. Zbl 1354.03001号 J.J.格林。;马库斯·罗斯伯格;菲利普·埃伯特（Philip A.Ebert）。 1 2015 Chang的猜想、通用初等嵌入和大基数的内部模型。 Zbl 1371.03054号 马修·福尔曼 1 2015 书评：D.R.Hirschfeldt，切片真相。关于组合原理的可计算数学和逆向数学。 Zbl 1336.00029号 杰弗里·赫斯特。 1 2015 书评：K.Tent和M.Ziegler，模型理论课程。 Zbl 1336.00027号 布拉德·哈特 1 2015 模态逻辑中的对称性。 Zbl 1372.03036号 卡洛斯·阿雷塞斯;伊泽基尔·奥贝 1 2015 产品的链条件和弱紧基数。 Zbl 1345.03092号 阿萨夫·里诺特 29 2014 可计算阿贝尔群。 Zbl 1345.03065号 亚历山大·梅尔尼科夫。 18 2014 A.Grothendieck之后的模型理论稳定性和类型的可定义性。 Zbl 1345.03058号 伊塔伊本·雅科夫 12 2014 用不完全随机集计算（K\）-平凡集。 Zbl 1320.03074号 Laurent Bienvenu;戴，亚当·R。;诺姆·格林伯格;安东·库切拉;约瑟夫·米勒。;安德烈·涅斯;丹·特雷茨基 12 2014 递归理论和逆向数学中的非标准模型。 兹比尔1341.03098 Chong，C.T。;李伟;杨，岳 5 2014 显式数学和运算集理论：一些本体论比较。 Zbl 1345.03112号 贾格尔，格哈德;利科·赞布伦 5 2014 埃尔德和集合论。 Zbl 1345.03006号 秋弘市卡纳莫里 2 2014 最佳逆变器。 Zbl 1341.03052号 陈一佳;弗鲁姆，约格 2 2014 完整性和明确性（在权力中）：没有基础主义的形式化。 Zbl 1341.03043号 约翰·鲍德温（John T.Baldwin）。 1 2014 2013年5月8日至11日，加拿大安大略省滑铁卢滑铁卢市滑铁卢大学符号逻辑协会北美年会。 兹比尔1301.03007 1 2014 Beppo Levi的近似值批准原则. Zbl 1428.03002号 里卡多·布鲁尼;彼得·舒斯特 1 2014 书评：单价基础计划，同伦类型理论。数学的单价基础。 Zbl 1336.00105号 雅普·范·奥斯汀 1 2014 超宇宙计划。 Zbl 1307.03003号 塔蒂亚娜·阿里戈尼;Sy-David弗里德曼 22 2013 描述性内模理论。 兹比尔1307.03030 格里戈尔·萨尔基扬 14 2013 20世纪30年代的逻辑：类型理论和模型理论。 Zbl 1326.03006号 乔治·希默尔;埃里希·雷克。 8 2013 罗宾逊《Q》的可解释性。 兹比尔1325.03072 费尔南多·费雷拉;吉尔达·费雷拉 8 2013 逻辑的基本问题。 Zbl 1405.03016号 吉拉·谢尔 4 2013 算法随机性和复杂性度量。 Zbl 1348.03039号 乔治·巴姆帕利亚斯 三 2013 …还有252个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2397位作者引用 33 阿瑟·W·阿普特。 32 罗德尼·格雷厄姆·唐尼 28 Sy-David弗里德曼 28 弗兰克·斯蒂芬 25 亚历山大·梅尔尼科夫。 25 安德烈·奥特弗里德·涅斯 22 诺姆·格林伯格 22 桑德斯，山姆 21 Ng，KengMeng先生 20 艾哈迈德、塔雷克说 19 巴泽诺夫，尼古拉·阿列克谢维奇 19 Ralf-Dieter辛德勒 18 卢多维奇·佩蒂 18 阿诺·保利。 18 阿萨夫·里诺特 17 谢尔盖·阿特莫夫 17 奥拉夫·拜尔斯多夫 17 瓦斯科·布拉特卡 17 大卫·J·派姆。 17 格里戈尔·萨尔基扬 16 桑杰·贾恩 16 托马斯·施图德 14 Samuel R.巴斯。 14 梅林·卡尔 14 法拉，伊利亚斯 14 安东尼奥·蒙塔尔班 14 萨拉·内格里 13 乔治·巴姆帕利亚斯 13 乔尔·戴维·哈姆金斯 13 罗马库兹涅茨 13 阿南德·皮莱 13 理查德·阿诺德·肖尔 13 丹尼尔·韦塞尔 12 装配，梅尔文·克里斯 12 丹尼斯·罗曼·赫希费尔特 12 约瑟夫·米勒。 11 安德鲁·佩伊（Andrew E.M.Lewis-Pye）。 11 迈克尔·拉特扬 11 菲利普·施利希特 11 萨拉、撒哈拉 11 威弗里德·西格 11 冯·柏拉图，简 11 安德烈亚斯·魏尔曼 10 哈伊纳尔·安德雷卡 10 马修·哈里森·特雷纳 10 伊斯坎德·沙吉托维奇·卡利穆林 10 米哈伊尔·卡茨（Mikhail G.Katz）。 10 木原隆树 10 玛丽亚·曼扎诺 10 彼得·迈克尔舒斯特 10 约翰·V·塔克。 10 菲利普·韦尔奇。 9 尼尔·巴顿 9 科斯塔·多森 9 费费曼，所罗门 9 鲁伯特·Hölzl 9 彼得·科普克 9 托比·梅多斯 9 朱利安·纳布克斯 9 伊泰州奈曼 9 维克托·五世（Victor V.Pambuccian）。 9 斯图尔特·夏皮罗 9 克里希纳·苏布拉马尼 9 Väänänen，Jouko Antero 9 阿尔伯特·维瑟 9 维莱姆，维科迪尔 9 于，梁 8 阿德里安·德罗罗 8 纳鸿·德肖维茨 8 史蒂文·R·吉万特。 8 Yair Hayut 8 弗拉基米尔·卡诺维。 8 亚历山大·凯克里斯。 8 Bakhadyr M.库萨诺夫。 8 迪特里赫·库斯克 8 菲利普·莫里茨·吕克 8 伊斯坦·内梅蒂 8 斯蒂尔，约翰·R。 8 克劳迪奥·特努洛 8 塞巴斯蒂安·特维恩。 8 越南，庄 7 Joan Bagaria 7 迈克尔·比森。 7 Laurent Bienvenu 7 刘易斯·菲利普·鲍文 7 道格拉斯·森泽 7 达米尔·扎法罗夫。 7 奥利维·芬克尔 7 叶卡捷琳娜·福基纳。 7 安东·弗伦德 7 藤原真本 7 吉多·格拉迪 7 埃里希·格拉德尔 7 格雷戈里·霍斯 7 迈克尔·赫鲁沙克 7 简·克拉契克 7 亚当·奎拉 7 阿尔贝托·马科内 7 贝诺·莫宁 7 卢卡·莫托·罗斯 …还有2297名作者 全部的 前5名267种期刊被引用 239 纯逻辑与应用逻辑年鉴 191 符号逻辑杂志 104 符号逻辑公报 98 数学逻辑档案 93 理论计算机科学 87 符号逻辑述评 86 合成 68 《数理逻辑季刊》 66 逻辑研究 54 哲学逻辑杂志 47 圣母院形式逻辑杂志 46 美国数学学会会刊 46 数学逻辑杂志 43 美国数学学会会刊 40 信息与计算 37 以色列数学杂志 37 数学进展 34 逻辑历史与哲学 32 计算机科学中的逻辑方法 29 拓扑及其应用 27 代数杂志 26 MSCS公司。计算机科学中的数学结构 25 计算系统理论 22 计算机与系统科学杂志 22 可计算性 20 泛逻辑 18 应用非经典逻辑杂志 18 ACM计算逻辑事务 17 自动推理杂志 16 数学基础 15 数学百科全书。新系列 14 代数普遍性 12 信息处理信件 12 数学与人工智能年鉴 12 埃尔肯特尼斯 12 逻辑与逻辑哲学 12 应用逻辑杂志 11 功能分析杂志 10 《伦敦数学学会通报》 10 逻辑、语言和信息杂志 10 数学论坛，西格玛 9 人工智能 9 数学分析与应用杂志 9 信息科学 9 遍历理论和动力系统 9 数学史 9 程序设计中的逻辑和代数方法杂志 8 代数通讯 8 代数与逻辑 8 模糊集与系统 8 逻辑科公报 8 美国数学学会杂志 8 科学基础 7 Oberwolfach报告 7 组、几何体和动力学 6 离散应用数学 6 离散数学 6 国际理论物理杂志 6 应用数学与计算 6 伦敦数学学会杂志。第二系列 6 美国数学学会回忆录 6 国际代数与计算杂志 6 国际计算机科学基础杂志 5 德国数学 5 数学信使 5 几何杂志 5 纯粹与应用代数杂志 5 SIAM计算机杂志 5 西伯利亚数学杂志 5 匈牙利数学学报 5 符号计算杂志 5 复杂性杂志 5 计算的形式方面 5 数学科学杂志（纽约） 5 洛巴切夫斯基数学杂志 5 朱西厄数学研究所学报 5 物理学基础 4 数学分析杂志 4 伊利诺伊数学杂志 4 数学发明 4 Monatsheft für Mathematik 4 伦敦数学学会会刊。第三系列 4 数学说明 4 选择Mathematica。新系列 4 人工智能研究杂志 4 美国医学会杂志 4 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 4 数学年鉴。第二系列 4 RAIRO公司。理论信息学及其应用 4 SibirskieÉlektronnye Matematicheskie Izvestiya 4 RAIRO公司。理论信息学及其应用 4 欧洲数学杂志 4 伦敦皇家学会哲学学报。A.数学、物理和工程科学 4 Logicheskie Issledovaniya公司 三 信息学报 三 国际通用系统杂志 三 数学笔记 三 洛基山数学杂志 三 卡罗莱纳大学数学评论 三 杜克数学杂志 …还有167种期刊 全部的 前5名52个领域被引用 2,355 数学逻辑和基础（03-XX） 637 计算机科学（68-XX） 184 历史和传记（01-XX） 174 群论与推广（20-XX） 136 总体主题；集合（00-XX） 109 组合数学（05-XX） 108 一般拓扑结构（54至XX） 96 阶、格、有序代数结构（06-XX） 69 功能分析（46倍X倍） 63 拓扑群、李群（22日至XX日） 61 动力系统和遍历理论（37至XX） 58 测量和集成（28-XX） 54 范畴理论；同调代数（18-XX） 53 几何图形（51至XX） 49 博弈论、经济学、金融和其他社会和行为科学（91-XX） 38 场论和多项式（12-XX） 32 数论（11-XX） 30 一般代数系统（08-XX） 29 量子理论（81-XX） 28 实际功能（26年X月X日） 23 概率论与随机过程（60-XX） 22 结合环与代数（16-XX） 22 抽象谐波分析（43至XX） 20 交换代数（13-XX） 19 流形和细胞复合体（57-XX） 17 代数几何（14-XX） 12 代数拓扑（55-XX） 10 序列、级数、可和性（40-XX） 9 信息和通信理论，电路（94-XX） 8 凸和离散几何（52-XX） 7 算子理论（47-XX） 7 系统论；控制（93至XX） 6 相对论和引力理论（83至XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 5 统计学（62-XX） 5 运筹学、数学规划（90-XX） 5 数学教育（97-XX） 4 微分几何（53至XX） 4 数值分析（65-XX） 4 粒子和系统力学（70-XX） 三 非结合环和代数（17-XX） 三 势能理论（31日至XX日） 三 几个复变量和分析空间（32-XX） 三 偏微分方程（35-XX） 三 差分和函数方程（39至XX） 三 统计力学，物质结构（82-XX） 2 常微分方程（34-XX） 2 整体分析，流形分析（58-XX） 2 生物学和其他自然科学（92-XX） 1 \（K\）-理论（19-XX） 1 欧氏空间的调和分析（42至XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文