符号逻辑公报 简短标题： 牛市。符号。日志。 出版商： 剑桥大学出版社，纽约州西尼亚克；纽约波基普西符号逻辑协会（ASL） 国际标准编号： 1079-8986; 1943-5894/年 在线： https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/all-issueshttp://project欧几里得.org/all/eucld.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期 212015年第4号 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号 17，第3号（2011年） 172011年第2期 172011年第1期 16，第4号（2010年） 16，第3号（2010年） 162010年第2期 162010年第1期 152009年第4期 152009年第3期 152009年第2期 152009年第1期 142008年第4号 142008年第3号 142008年第2期 142008年第1期 132007年第4号 132007年第3号 132007年第2期 132007年第1期 122006年第4号 122006年第3期 122006年第2期 122006年第1期 112005年第4号 112005年第3期 112005年第2期 112005年第1期 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年） 7，第4号（2001年） 7，第3号（2001） 7，第2号（2001年） 72001年第1期 62000年第4期 62000年第3期 62000年第2期 6，第1号（2000年） 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 简·克拉契克 5 查尔斯·帕森斯。 5 阿南德·皮莱 4 谢尔盖·阿特莫夫 4 杰里米·阿维加德 4 罗斯·托马斯·布雷迪 4 费费曼，所罗门 4 诺姆·格林伯格 4 朱丽叶·卡拉·肯尼迪 4 佩内洛普·麦迪。 4 保罗·曼科苏 4 威弗里德·西格 4 西奥多·斯莱曼（Theodore A.Slaman）。 4 约翰·R·斯蒂尔。 4 德克·范·达伦 三 史蒂夫·阿沃迪 三 Joan Bagaria 三 约翰·鲍德温（John T.Baldwin）。 三 伊塔伊本·雅科夫 三 比姆博，卡塔林 三 安德烈亚斯·拉斐尔·布拉斯 三 马丁·邦德。 三 蒂姆·巴顿 三 科斯塔·多森 三 马西娅·格罗泽克。 三 尤里·古里维奇 三 瓦伦蒂娜·S·哈里扎诺夫。 三 利奥·A·哈灵顿。 三 布拉德·哈特。 三 丹尼斯·罗曼·赫施费尔特 三 格雷戈里·霍斯 三 伊恩·马丁·霍德金森 三 朱莉娅·奈特。 三 Phokion G.科莱蒂斯。 三 迈克尔·克里斯·拉斯科夫斯基 三 斯泰芬·伦普 三 Marker，David E。 三 亚历山大·梅尔尼科夫。 三 约瑟夫·米勒。 三 安东尼奥·蒙塔尔班 三 莫肖瓦基斯，伊安尼斯·尼古拉斯 三 伊泰州奈曼 三 沃尔夫拉姆·波勒 三 克里斯托弗·波特。 三 吉尔·萨吉 三 格里戈尔·萨尔基扬 三 彼得·迈克尔·舒斯特 三 斯图尔特·夏皮罗 三 雪儿，吉拉 三 斯蒂芬·G·辛普森。 三 罗伯特·索尔。 三 莫西·亚亚科夫·瓦尔迪 三 斯坦利·斯科特·韦纳 三 安德烈亚斯·魏尔曼 三 理查德·扎克 三 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 沃伦·戈德法布。 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中包含的引文 351出版物有被引用3389中的次2835文件 引用人▼ 年份▼ 显式可证明性和构造性语义。 Zbl 0980.03059号 谢尔盖·阿特莫夫。 146 2001 捆绑暗示的逻辑。 Zbl 0930.03095号 O'Hearn，Peter W。;大卫·J·派姆。 100 1999 超线性和索菲特群体：简要指南。 Zbl 1206.20048号 弗拉基米尔·佩斯托夫。 90 2008 关于二元一阶逻辑的决策问题。 Zbl 0873.03009号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 70 1997 公理存在时的截消。 兹伯利0934.03072 萨拉·内格里;冯·柏拉图，简 57 1998 可计算分析中的有效选择和有界性原则。 Zbl 1226.03062号 瓦斯科·布拉特卡;吉多·格拉迪 55 2011 命题证明的复杂性。 Zbl 1133.03037号 内森·塞格林德 51 2007 逆向数学中的开放性问题。 兹比尔1233.03023 安东尼奥·蒙塔尔班 50 2011 命题证明的复杂性。 Zbl 0845.03025号 阿拉斯代尔·厄克哈特 48 1995 校准随机性。 Zbl 1113.03037号 罗德·唐尼;Dennis R.Hirschfeldt。;安德烈·涅斯;塞巴斯蒂安·特维恩。 47 2006 随机性和可计算性：开放性问题。 Zbl 1169.03033号 约瑟夫·米勒。;安德烈·涅斯 43 2006 塔斯基几何体系。 兹伯利0932.01031 阿尔弗雷德·塔斯基;史蒂文·吉万特 43 1999 群同态的自动连续性。 Zbl 1173.03037号 克里斯蒂安·罗森达尔 40 2009 数学、物理和精确实数运算领域。 兹比尔0946.03055 阿巴斯·埃达拉特 40 1997 质量问题和随机性。 Zbl 1090.03015号 斯蒂芬·G·辛普森。 38 2005 描述组。 Zbl 1167.20017号 安德烈·涅斯 37 2007 自动机表示结构：有限字符串情况的调查。 Zbl 1146.03028号 萨沙·鲁宾 36 2008 间隙强迫：推广Lévy-Solovay定理。 Zbl 0933.03067号 乔尔·戴维·哈姆金斯 36 1999 可计算性和递归。 Zbl 0861.03031号 罗伯特·索尔。 34 1996 分析理想。 兹比尔0862.04002 索莱奇·萨沃米尔 34 1996 核心模型中的方形。 Zbl 0992.03062号 欧内斯特·希默林;马丁·泽曼 31 2001 在线结构理论基础。 Zbl 1477.03167号 尼古拉·巴热诺夫;罗德·唐尼;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫 30 2019 产品的链条件和弱紧基数。 Zbl 1345.03092号 阿萨夫·里诺特 29 2014 寻找终极的-\（L\）。第19届Midrasha数学讲座。 Zbl 1420.03134号 伍丁·W·休 27 2017 序数的图灵计算。 Zbl 1096.03053号 彼得·科普克 27 2005 二阶逻辑和数学基础。 Zbl 1002.03013号 Väänänen，佐科 27 2001 Gentzen对自然演绎归一化的证明。 兹比尔1145.03003 冯·柏拉图，简 25 2008 数学需要新的公理吗？ Zbl 0977.03002号 费费曼，所罗门;哈维·弗里德曼。;梅迪，佩内洛普;约翰·R·斯蒂尔。 24 2000 可计算性理论和微分几何。 Zbl 1085.03033号 罗伯特·索尔。 24 2004 代数逻辑，它今天在哪里？ Zbl 1111.03053号 艾哈迈德、塔雷克说 23 2005 确定性的最佳证明。 Zbl 0835.03017号 伊泰州奈曼 23 1995 数学模糊逻辑。 Zbl 1144.03023号 齐格弗里德·戈特瓦尔德 22 2008 公理真理理论的相对真理可定义性。 Zbl 1209.03002号 肯塔罗州藤本市 22 2010 超宇宙计划。 Zbl 1307.03003号 塔蒂亚娜·阿里戈尼;Sy-David弗里德曼 22 2013 可计算性的自然公理化和Church论文的证明。 Zbl 1167.03027号 纳鸿·德肖维茨;尤里·古里维奇 21 2008 希尔伯特的节目：1917-1922。 Zbl 0924.03002号 威弗里德·西格 21 1999 我的完备性证明的发现。 Zbl 0882.03001号 莱昂·汉金 21 1996 描述性集合理论的新方向。 Zbl 0933.03057号 亚历山大·凯克里斯。 21 1999 教会的问题再次出现。 Zbl 0932.03029号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 21 1999 具有可定义集的组合数学：Euler特征和Grothendieck环。 兹伯利0968.03036 简·克拉契克;托马斯·斯坎隆 21 2000 绝对算术连续体和所有大小数字的统一。 Zbl 1242.03065号 菲利普·埃利希 20 2012 机器、逻辑和量子物理。 Zbl 0998.68059号 大卫·德意志;阿图尔·埃克特;罗塞拉·卢帕奇尼 20 2000 Borel等价关系的新二分法。 Zbl 0889.03038号 格雷格·霍斯;亚历山大·凯克里斯。 20 1997 通过析取消除来消除析取。 Zbl 1455.03074号 戴维·里纳尔迪;彼得·舒斯特;丹尼尔·韦塞尔 19 2017 内部一致性和内部模型假设。 Zbl 1134.03029号 Sy-David弗里德曼 19 2006 逻辑性和不变性。 Zbl 1146.03002号 丹尼斯·邦内 19 2008 建设性非标准分析的发展。 兹伯利0920.03063 埃里克·帕尔姆格伦 19 1998 一阶逻辑的几何化。 Zbl 1368.03013号 罗伊·戴克霍夫;萨拉·内格里 19 2015 基于规范化和通用性的证明的一致性。 Zbl 1058.03061号 科斯塔·多森 19 2003 \（\text{HOD}^{L（\mathbb{R}）}\）是下面的核心模型\（Theta\）。 兹伯利0826.03022 约翰·R·斯蒂尔。 19 1995 可计算阿贝尔群。 Zbl 1345.03065号 亚历山大·梅尔尼科夫。 18 2014 约束满足问题与泛代数。 Zbl 1336.68113号 利波·巴托 17 2015 有序分析的最新进展：（Pi_2^1-mathbf C\mathbf A\）和相关系统。 Zbl 0855.03035号 迈克尔·拉特扬 16 1995 划分定理和可计算性理论。 Zbl 1097.03037号 约瑟夫·米莱蒂（Joseph R.Mileti）。 16 2005 解析和结构推理的起源：赫兹和根岑的早期证明理论思想。 Zbl 1005.03004号 彼得·施罗德·海斯特 16 2002 适当的强制和杰出的红衣主教。 Zbl 0960.03044号 Ralf-Dieter辛德勒 16 2000 克莱恩令人惊讶的第二递归定理。 Zbl 1211.03061号 Moschovakis，Yiannis N。 15 2010 关于线性序的同构类型。 Zbl 1129.03024号 安东尼奥·蒙塔尔班 15 2007 从可计算的角度进行分类。 Zbl 1123.03024号 韦斯利·卡尔弗特;朱莉娅·奈特。 15 2006 名词性技术的基础：抽象语法中变量的逻辑和语义。 Zbl 1253.03059号 默多克·J·加贝。 15 2011 波斯特之前的完整性：贝尔奈斯、希尔伯特和命题逻辑的发展。 Zbl 0942.03003号 理查德·扎克 15 1999 弗雷格算法的预测片段。 Zbl 1068.03051号 林内波，Ø伊斯坦 15 2004 逆向数学与（Pi_2^1）理解。 Zbl 1106.03050号 卡尔·穆默特;斯蒂芬·G·辛普森。 14 2005 弱分布性，冯·诺依曼的问题和可测性的奥秘。 Zbl 1120.03028号 波胡斯拉夫·巴尔卡尔;托马斯·杰赫 14 2006 Gentzen的证明系统：天才作品中的副产品。 Zbl 1258.03002号 冯·柏拉图，简 14 2012 集合论中的组合二分法。 Zbl 1230.03075号 斯特沃·托多切维奇 14 2011 描述性集合理论的图形理论方法。 Zbl 1361.03047号 本杰明·米勒。 14 2012 有限模型理论中逻辑的几乎处处等价。 Zbl 0869.03019号 你好，劳里;Phokion G.科莱蒂斯。;科科·洛斯托 14 1996 lambda演算在逻辑和计算机科学中的影响。 Zbl 0887.03008号 亨克·巴伦德雷格特 14 1997 描述性内部模型理论。 Zbl 1307.03030号 格里戈尔·萨尔基扬 14 2013 自我参照悖论、不完全性和不动点的通用方法。 兹比尔1067.03012 诺森·S·亚诺夫斯基。 14 2003 Zermelo良序定理的数学意义。 Zbl 0903.03030号 秋弘市卡纳莫里 14 1997 非标准算术和逆向数学。 Zbl 1101.03040号 凯斯勒，H.杰罗姆 13 2006 证明费马最后一个定理需要什么？格罗森迪克和数论逻辑。 Zbl 1210.03029号 科林·麦克拉蒂 13 2010 穆奇尼克和梅德韦杰夫学位调查。 Zbl 1248.03063号 彼得·辛曼（Peter G.Hinman）。 13 2012 有限结构中的有限共形超图覆盖和Gaifman团。 Zbl 1058.03031号 伊恩·霍金森;马丁·奥托 13 2003 现代逻辑之路——解读。 Zbl 1005.03003号 何塞·费雷洛斯 13 2001 波兰度量空间：它们的分类和等距群。 Zbl 0994.54037号 约翰·D·克莱门斯。;高，苏;亚历山大·凯克里斯。 13 2001 在证明理论中的强迫。 Zbl 1064.03034号 杰里米·阿维加德 13 2004 二阶逻辑还是集合论？ 兹比尔1252.03024 Väänänen，佐科 12 2012 用不完全随机集计算（K\）-平凡集。 Zbl 1320.03074号 Laurent Bienvenu;戴，亚当·R。;诺姆·格林伯格;安东·库切拉;约瑟夫·米勒。;安德烈·涅斯;丹·特雷茨基 12 2014 双变量一阶直觉主义和模态逻辑的不确定性。 邮编1096.03008 罗马人孔查科夫;阿吉·库鲁茨;迈克尔·扎克哈里亚舍夫 12 2005 用茂密的树强迫。 Zbl 1421.03021号 穆什菲克·汗;约瑟夫·米勒。 12 2017 真实游戏。 Zbl 1193.03011号 P.D.韦尔奇。 12 2009 频谱问题五十年：调查和新结果。 Zbl 1309.03014号 阿诺·杜兰德;尼尔·D·琼斯。;约翰·马考斯基（Johann A.Makowsky）。;更多，马利卡 12 2012 循序渐进：教会对有效可计算性的分析。 Zbl 0884.03001号 威弗里德·西格 12 1997 A.Grothendieck之后的模型理论稳定性和类型的可定义性。 兹比尔1345.03058 伊塔伊本·雅科夫 12 2014 语义悖论的图形理论分析。 Zbl 1437.03017号 蒂莫·贝林格;汤马斯·辛德勒 12 2017 关于Gupta-Belnap修正真值理论、Kripkean不动点和下一稳定集。 Zbl 1009.03006号 P.D.韦尔奇。 12 2001 模型理论和有限结构的一些方面。 Zbl 1017.03015号 埃里克·罗森 12 2002 集合论与（C^*）-代数。 Zbl 1127.46043号 尼克·韦弗 11 2007 图式：逻辑史上的图式概念。 Zbl 1123.03001号 约翰·科科兰 11 2006 超有限大数定律。 Zbl 0861.03051号 孙燕能 11 1996 有限Morley秩的完整Frobenius群和Feit-Thompson定理。 兹比尔1002.03024 埃里克·贾利戈特 11 2001 定点逻辑。 Zbl 1002.03030号 阿努杰，达瓦尔;尤里·古里维奇 11 2002 内部模型和大型基数。 Zbl 0843.03029号 罗纳德·延森 10 1995 集合论从康托到科恩的数学发展。 Zbl 0851.04001号 秋弘市卡纳莫里 10 1996 一些可定义的伽罗瓦理论和例子。 Zbl 1419.03032号 奥马尔·莱昂·桑切斯;阿南德·皮莱 10 2017 强相依场的推测分类。 Zbl 1477.03134号 亚蒂尔·哈列维;阿萨夫·哈森;弗兰齐斯卡·扬克 10 2019 塔斯基立体几何的全面发展。 Zbl 1156.03011号 拉法·格鲁什琴斯基;安德烈·彼得鲁兹扎克（Andrzej Pietruszczak） 10 2008 可计算的紧度量空间。 Zbl 07725101号 罗德尼·G·唐尼。;亚历山大·梅尔尼科夫。 4 2023 大基数作为结构反射的原则。 兹伯利07665537 Joan Bagaria 2 2023 在内集理论中构造非标准外壳和勒布测度。 兹比尔1512.03077 卡雷尔·赫巴切克;米哈伊尔·卡茨（Mikhail G.Katz）。 2 2023 逻辑原理的扩展框架和分隔。 Zbl 07749829号 藤原真本;石原、Hajime;内莫托、高子;铃木，Nobu-Yuki;Keita横山 2 2023 工作模型理论家的饱和模型。 Zbl 07725100号 亚蒂尔·哈列维;意大利卡普兰 1 2023 构造数学的仿射逻辑。 Zbl 07606771号 迈克尔·舒尔曼 2 2022 命题理论的雅各布森根。 Zbl 07550752号 朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 2 2022 构建Wadge类。 Zbl 1504.03026号 拉斐尔·卡罗伊;安德烈亚·梅迪尼;桑德拉·米勒 2 2022 通用Baire集合的密封。 Zbl 07455124号 格里戈尔·萨尔基扬;越南，庄 8 2021 隔板上有强烈的色彩。 Zbl 1496.03179号 威廉·陈-梅尔滕斯;梅纳赫姆·科杰曼;Stepráns，法学家 4 2021 具有停止条件的分离。 Zbl 07455123号 Kossak，罗马;巴托斯·Wcisło 4 2021 从建构主义的角度来看意义和参照。 Zbl 1529.03031号 米歇尔·达米特 2 2021 建构语义学中的意义/指称区别。 Zbl 1529.03066号 马丁·洛夫（Martin-Löf，Per） 2 2021 哥德尔不完全性定理的研究现状。 Zbl 1497.03067号 程勇 1 2021 证明逻辑及其会议组合中可判定性的约简技术。 Zbl 07379167号 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 1 2021 库尔特·哥德尔（Kurt Gödel）关于逻辑、神学和物理学的矛盾。 Zbl 1482.03001号 蒂姆·莱顿 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 交换环理论中幂零指数的界：一种证明挖掘方法。 Zbl 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 用经典结构实现可实现性结果。 兹伯利07167381 阿萨夫·卡拉吉拉 2 2019 尺寸连续模型的Henkin构造。 Zbl 07049058号 约翰·鲍德温（John T.Baldwin）。;迈克尔·拉斯科夫斯基。 1 2019 模型理论和（mathrm{C}^ast）代数的邀请。 Zbl 1446.03067号 卢皮尼、马蒂诺 1 2019 三段论的间接证明和倒置。 Zbl 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 多态性和二阶逻辑的顽固循环：一个受害者的故事。 Zbl 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数学讲座。 兹比尔1420.03134 伍丁·W·休 27 2017 通过析取消除来消除析取。 Zbl 1455.03074号 戴维·里纳尔迪;彼得·舒斯特;丹尼尔·韦塞尔 19 2017 用茂密的树强迫。 Zbl 1421.03021号 穆什菲克·汗;约瑟夫·米勒。 12 2017 语义悖论的图形理论分析。 Zbl 1437.03017号 蒂莫·贝林格;汤马斯·辛德勒 12 2017 一些可定义的伽罗瓦理论和例子。 Zbl 1419.03032号 奥马尔·莱昂·桑切斯;阿南德·皮莱 10 2017 有限域中的不完全性。 Zbl 1423.03245号 帕维尔·普德拉克 9 2017 Laver模型中Hurewicz空间的乘积。 Zbl 1421.03024号 杜珊·列波夫什;兹多姆斯基，柳博米尔 6 2017 罗宾逊算法和具有可拓性的附加集理论的相互解释性。 Zbl 1421.03027号 兹拉坦·达姆贾诺维奇 6 2017 元评估。 Zbl 1421.03011号 罗斯·T·布雷迪。 三 2017 最后的直觉分析。 Zbl 1436.03312号 乔安·兰德·莫肖瓦基斯 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论基础因果证明。 Zbl 1384.03005号 斯特凡妮娅·森特隆 三 2016 抽象与表意理解的力量。 兹比尔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号 利波·巴托 17 2015 Demuth走向随机性的道路。 Zbl 1348.03002号 安东·库切拉;安德烈·涅斯;克里斯托弗·波特。 三 2015 海因里希·贝曼1921年关于决策问题和逻辑代数的演讲。 Zbl 1369.03013号 保罗·曼科苏;理查德·扎克 2 2015 重新审视饱和自由代数。 Zbl 1372.03066号 阿南德·皮莱;里佐斯·斯科利诺斯 2 2015 赫伯兰定理和非欧几里德几何。 Zbl 1375.03079号 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 存在导入数学。 Zbl 1368.03012号 约翰·科科兰;哈桑·马苏德 1 2015 排字机的便利性；弗雷格的符号和版式Grundgesetze der Arithmetik算法. Zbl 1354.03001号 J.J.格林。;马库斯·罗斯伯格;菲利普·埃伯特。 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 用不完全随机集计算（K\）-平凡集。 Zbl 1320.03074号 Laurent Bienvenu;戴，亚当·R。;诺姆·格林伯格;安东·库切拉;约瑟夫·米勒。;安德烈·涅斯;丹·特雷茨基 12 2014 A.Grothendieck之后的模型理论稳定性和类型的可定义性。 Zbl 1345.03058号 伊塔伊本·雅科夫 12 2014 递归理论和逆向数学中的非标准模型。 Zbl 1341.03098号 Chong，C.T。;李伟;杨，岳 5 2014 显式数学和运算集理论：一些本体论比较。 兹比尔1345.03112 贾格尔，格哈德;利科·赞布伦 5 2014 最佳逆变器。 Zbl 1341.03052号 陈一佳;弗鲁姆，约格 2 2014 埃尔德和集合论。 Zbl 1345.03006号 秋弘市卡纳莫里 2 2014 完整性和明确性（在权力中）：没有基础主义的形式化。 Zbl 1341.03043号 约翰·鲍德温（John T.Baldwin）。 1 2014 2013年5月8日至11日，加拿大安大略省滑铁卢滑铁卢市滑铁卢大学符号逻辑协会北美年会。 Zbl 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 罗宾逊《Q》的可解释性。 Zbl 1325.03072号 费尔南多·费雷拉;吉尔达·费雷拉 8 2013 20世纪30年代的逻辑：类型理论和模型理论。 Zbl 1326.03006号 乔治·希默尔;埃里希·雷克。 8 2013 逻辑的基本问题。 Zbl 1405.03016号 吉拉·谢尔 4 2013 算法随机性和复杂性度量。 兹伯利1348.03039 乔治·巴姆帕利亚斯 三 2013 关于形式主义自由：实施哥德尔1946年普林斯顿200周年演讲。 Zbl 1348.03008号 朱丽叶·肯尼迪 三 2013 …还有251个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2373位作者引用 33 阿瑟·W·阿普特。 32 罗德尼·格雷厄姆·唐尼 28 Sy-David弗里德曼 28 弗兰克·斯蒂芬 25 亚历山大·梅尔尼科夫。 24 安德烈·奥特弗里德·涅斯 22 诺姆·格林伯格 22 山姆·桑德斯 21 Ng，KengMeng先生 20 艾哈迈德、塔雷克说 19 尼古拉·巴热诺夫（Nikola Bazhenov）ĭAlekseevich 19 Ralf-Dieter辛德勒 18 卢多维奇·佩蒂 18 阿诺·保利。 18 阿萨夫·里诺特 17 谢尔盖·阿特莫夫 17 瓦斯科·布拉特卡 17 格里戈尔·萨尔基扬 16 奥拉夫·拜尔斯多夫 16 桑杰·贾恩 16 大卫·J·派姆。 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 史蒂文·吉万特（Steven R.Givant）。 8 Yair Hayut 8 弗拉基米尔·卡诺维。 8 亚历山大·凯克里斯。 8 Bakhadyr M.库萨诺夫。 8 迪特里赫·库斯克 8 菲利普·莫里茨·吕克 8 伊斯坦·内梅蒂 8 约翰·R·斯蒂尔。 8 克劳迪奥·特努洛 8 塞巴斯蒂安·特维恩。 8 越南，庄 8 伍丁·W·休 7 Joan Bagaria 7 迈克尔·比森。 7 Laurent Bienvenu 7 刘易斯·菲利普·鲍文 7 道格拉斯·森泽 7 奥利维尔·芬克尔 7 叶卡捷琳娜·福基纳。 7 安东·弗伦德 7 藤原真本 7 吉多·格拉迪 7 埃里希·格拉德尔 7 格雷戈里·霍斯 7 迈克尔·赫鲁沙克 7 简·克拉契克 7 亚当·奎拉 7 阿尔贝托·马可尼 7 贝诺·莫宁 7 莫托·罗斯，卢卡 …还有2273位作者 全部的 前5名267种期刊被引用 237 纯逻辑与应用逻辑年鉴 191 符号逻辑杂志 104 符号逻辑公报 98 数学逻辑档案 93 理论计算机科学 87 符号逻辑综述 86 合成 68 数学逻辑季刊（MLQ） 66 Studia Logica公司 54 哲学逻辑杂志 47 圣母院形式逻辑杂志 46 美国数学学会会刊 45 数学逻辑杂志 43 美国数学学会会刊 40 信息与计算 37 以色列数学杂志 36 数学进展 34 逻辑历史与哲学 32 计算机科学中的逻辑方法 29 拓扑及其应用 27 代数杂志 26 MSCS公司。计算机科学中的数学结构 25 计算系统理论 22 计算机与系统科学杂志 22 可计算性 20 泛逻辑 18 应用非经典逻辑杂志 18 ACM计算逻辑事务 17 自动推理杂志 16 数学基础 15 Indagationes Mathematicae公司。新系列 14 代数普遍性 12 信息处理信函 12 数学与人工智能年鉴 12 埃尔肯特尼斯 12 逻辑与逻辑哲学 12 应用逻辑杂志 11 功能分析杂志 10 逻辑、语言与信息杂志 10 数学论坛，西格玛 9 人工智能 9 数学分析与应用杂志 9 信息科学 9 遍历理论和动力系统 9 数学史 9 程序设计中的逻辑和代数方法杂志 8 代数通讯 8 代数与逻辑 8 《伦敦数学学会通报》 8 模糊集与系统 8 逻辑科公报 8 美国数学学会杂志 8 科学基础 7 Oberwolfach报告 7 组、几何体和动力学 6 离散应用数学 6 离散数学 6 国际理论物理杂志 6 应用数学与计算 6 美国数学学会回忆录 6 国际代数与计算杂志 6 国际计算机科学基础杂志 5 Semesterberichte数学 5 数学信使 5 伦敦数学学会杂志。第二系列 5 纯粹与应用代数杂志 5 SIAM计算机杂志 5 西伯利亚数学杂志 5 匈牙利数学学报 5 符号计算杂志 5 复杂性杂志 5 计算的形式方面 5 数学科学杂志（纽约） 5 洛巴切夫斯基数学杂志 5 朱西厄数学研究所学报 5 物理学基础 4 数学分析杂志 4 伊利诺伊数学杂志 4 数学发明 4 几何杂志 4 Monatsheft für Mathematik 4 数学说明 4 选择Mathematica。新系列 4 美国医学会杂志 4 伦敦皇家学会哲学学报。A系列数学、物理和工程科学 4 数学年鉴。第二系列 4 RAIRO公司。理论信息学及其应用 4 SibirskieÈlektronnye Matematicheskie Izvestiya公司 4 RAIRO公司。理论信息学及其应用 4 欧洲数学杂志 4 伦敦皇家学会哲学学报。A.数学、物理和工程科学 4 Logicheskie Issledovaniya逻辑 三 信息学报 三 国际通用系统杂志 三 数学笔记 三 洛基山数学杂志 三 卡罗莱纳大学数学评论 三 杜克数学杂志 三 经济理论杂志 三 数学年刊 …还有167种期刊 全部的 前5名52个领域被引用 2,346 数学逻辑和基础（03-XX） 631 计算机科学（68至XX） 184 历史和传记（01-XX） 170 群论与推广（20-XX） 136 一般性和全局性主题；集合（00-XX） 107 一般拓扑结构（54至XX） 106 组合数学（05-XX） 96 阶、格、有序代数结构（06-XX） 68 功能分析（46倍X倍） 61 拓扑群、李群（22日至XX日） 60 动力系统和遍历理论（37至XX） 58 测量和集成（28-XX） 54 范畴理论；同调代数（18-XX） 52 几何图形（51至XX） 49 博弈论、经济学、金融和其他社会和行为科学（91-XX） 38 场论和多项式（12-XX） 32 数论（11-XX） 29 量子理论（81-XX） 28 一般代数系统（08-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） 7 算子理论（47-XX） 7 凸和离散几何（52至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） 三 几个复变量和分析空间（32-XX） 三 偏微分方程（35-XX） 三 差分和函数方程（39至XX） 三 统计力学，物质结构（82-XX） 2 势能理论（31-XX） 2 常微分方程（34-XX） 2 整体分析，流形分析（58至XX） 2 生物学和其他自然科学（92-XX） 1 \（K\）理论（19-XX） 1 欧几里得空间的调和分析（42至XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文