符号逻辑杂志 简短标题: J.塞姆。日志。 出版商: 剑桥大学出版社,纽约州西尼亚克;纽约波基普西符号逻辑协会(ASL) 国际标准编号: 0022-4812; 1943-5886/年 在线: https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issues网站http://projecteuclid.org/jslhttp://www.jstor.org/action/showPublication?journalCode=jsymbolicogic 评论: 期刊;索引封面到封面 编入索引的文档: 4956出版物(自1936年起) 索引的引用: 4486出版物参考文献57988。 全部的 前5名最新问题 88,编号4(2023) 88,编号3(2023) 88,编号2(2023) 88,编号1(2023) 87,第4期(2022) 87,编号3(2022) 87,编号2(2022) 87,编号1(2022) 86,编号4(2021) 86,编号3(2021) 86,编号2(2021) 86,编号1(2021) 85,第4期(2020年) 85,第3期(2020年) 85,第2期(2020年) 85,第1期(2020年) 84,第4号(2019) 84,第3号(2019) 842019年第2期 842019年第1期 83,第4号(2018) 83,第3号(2018) 83,第2号(2018) 832018年第1期 822017年第4号 822017年第3号 822017年第2期 822017年第1期 812016年第4号 812016年第3号 812016年第2期 812016年第1期 802015年第4号 802015年第3期 802015年第2期 802015年第1期 792014年第4号 792014年第3期 792014年第2期 792014年第1期 782013年第4号 78,第3号(2013年) 782013年第2期 782013年第1期 772012年第4号 772012年第3号 772012年第2期 772012年第1期 762011年第4号 762011年第3期 762011年第2期 762011年第1期 752010年第4期 752010年第3期 752010年第2期 752010年第1期 742009年第4期 742009年第3期 742009年第2期 742009年第1期 732008年第4号 732008年第3号 732008年第2期 732008年第1期 722007年第4号 722007年第3号 722007年第2期 722007年第1期 712006年第4号 712006年第3期 712006年第2期 712006年第1期 702005年第4号 702005年第3期 702005年第2期 702005年第1期 692004年第4期 692004年第3期 692004年第2期 692004年第1期 68,第4号(2003) 682003年第3期 682003年第2期 68,第1期(2003) 672002年第4期 67,第3期(2002年) 672002年第2期 67,第1号(2002年) 662001年第4号 66,第3号(2001) 662001年第2期 662001年第1期 652000年第4期 652000年第3期 652000年第2期 652000年第1期 64,第4号(1999) 64,第3号(1999) 64,第2期(1999年) 64,第1期(1999年) …还有104多个卷 全部的 前5名作者 148 萨拉、撒哈拉 46 阿南德·皮莱 45 朱莉娅·奈特。 43 Sy-David弗里德曼 37 威拉德·范·奥曼·奎因 35 布鲁诺·彼得罗维奇·波扎特 33 菲奇,弗雷德里克·布伦顿 31 罗德尼·格雷厄姆·唐尼 29 乔库什,卡尔·G·军。 28 詹姆斯·施默尔(James H.Schmerl)。 25 理查德·阿诺德·肖尔 25 弗兰克·奥拉夫·瓦格纳 24 梅纳赫姆·马吉多 23 约翰·鲍德温(John T.Baldwin)。 23 霍华德·杰罗姆·凯斯勒 23 约翰·巴克利·罗瑟 21 斯泰芬·伦普 21 安东尼奥·蒙塔尔班 20 阿瑟·W·阿普特。 20 尤里·古里维奇 20 西奥多·斯莱曼(Theodore A.Slaman)。 19 安德烈亚斯·拉斐尔·布拉斯 19 Ralf-Dieter辛德勒 19 罗伯特·索尔。 18 伊塔伊本·雅科夫 18 格雷戈里·霍斯 18 杰弗里·布赖恩·雷梅尔 18 斯蒂尔,约翰·R。 17 乔尔·戴维·哈姆金斯 17 安德里亚·索比 16 阿利斯泰尔·拉克伦。 16 曼努埃尔·勒曼 16 罗素·G·米勒。 16 安德烈·奥特弗里德·涅斯 15 弗朗索瓦斯·德隆 15 莫蒂·吉提克 15 诺姆·格林伯格 15 迈克尔·克里斯·拉斯科夫斯基 14 埃胡德·赫鲁肖夫斯基 14 简·克拉契克 14 麦肯锡,J.C.C。 14 约翰·R·米希尔。 14 伊斯坦·内梅蒂 14 Ng,KengMeng先生 14 王浩 13 哈伊纳尔·安德雷卡 13 格雷戈里·谢尔林。 13 詹姆斯·卡明斯 13 埃里克·埃伦塔克 13 哈维·弗里德曼。 13 马修·哈里森·特雷纳 13 詹姆斯·亨勒(James M.Henle)。 13 约瑟夫·米勒。 13 伊泰州奈曼 13 卢多米尔·纽尔斯基 13 杰弗里·布鲁斯,巴黎 13 斯蒂芬·辛普森。 13 于,梁 12 尤里·安德鲁斯 12 史蒂文·比奇勒 12 马丁·邦德。 12 彼得·乔拉克(Peter A.Cholak)。 12 库珀、斯图亚特·巴里 12 Dov M.加巴伊。 12 尼尔森·古德曼 12 亨森·C·沃德 12 罗宾·赫希 12 塔帕尼·海蒂宁 12 贾格尔,格哈德 12 托马斯·杰赫。 12 金仁玲 12 亚历山大·凯克里斯。 12 罗伯特·卢巴斯基。 12 盖西·塔库蒂 12 卢·范登·德里斯 12 菲利普·韦尔奇。 11 詹姆斯·厄尔·鲍姆加特纳 11 约格·布伦德尔 11 芭芭拉·卡西玛(Barbara F.Csima)。 11 咖喱、哈斯克尔·布鲁克斯 11 沃伦·戈德法布。 11 瓦伦蒂娜·S·哈里扎诺夫。 11 丹尼斯·罗曼·赫施费尔特 11 Kim,Byunghan先生 11 尤金·克莱伯格(Eugene M.Kleinberg)。 11 Marker,David E。 11 威廉·约翰·米切尔 11 诺曼,达格 11 Väänänen,Jouko Antero 10 阿达莫维奇,佐菲亚 10 Samuel R.巴斯。 10 阿隆佐·丘奇 10 富克斯,冈特 10 尼古拉斯·古德曼。 10 拉米·格罗斯伯格。 10 布拉德·哈特。 10 莱昂·艾伯特·汉金 10 伊恩·马丁·霍德金森 10 格奥尔格·克雷塞尔 10 肯尼斯·库恩 …还有2500多名作者 全部的 前5名领域 4,307 数学逻辑和基础(03-XX) 211 场论和多项式(12-XX) 204 计算机科学(68至XX) 191 有序,格,有序代数结构(06-XX) 181 群论与推广(20-XX) 154 一般拓扑结构(54至XX) 97 组合数学(05-XX) 73 范畴理论;同调代数(18-XX) 67 一般代数系统(08-XX) 64 数论(11-XX) 60 测量和集成(28-XX) 50 结合环与代数(16-XX) 42 功能分析(46倍X倍) 37 博弈论、经济学、金融和其他社会和行为科学(91-XX) 33 交换代数(13-XX) 25 历史和传记(01-XX) 25 实际功能(26-XX) 22 拓扑群、李群(22日至XX日) 22 动力系统和遍历理论(37至XX) 21 代数几何(14-XX) 19 概率论与随机过程(60-XX) 18 总体主题;集合(00-XX) 10 线性代数和多线性代数;矩阵理论(15-XX) 9 抽象谐波分析(43至XX) 9 几何图形(51至XX) 9 量子理论(81-XX) 7 算子理论(47-XX) 6 几个复变量和分析空间(32-XX) 6 代数拓扑(55-XX) 5 信息与通信理论、电路(94-XX) 4 凸和离散几何(52至XX) 3 非结合环和代数(17-XX) 3 复变量的函数(30年XX月) 3 常微分方程(34-XX) 3 流形和细胞复合体(57至XX) 2 整体分析,流形分析(58至XX) 2 统计学(62-XX) 2 相对论和引力理论(83至XX) 1 序列、级数、可和性(40-XX) 1 近似值和展开值(41-XX) 1 欧氏空间的调和分析(42-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4,013出版物有被引用38213中的次19740文件 引用人▼ 年份▼ 论理论变革的逻辑:部分满足收缩和修正功能。 Zbl 0578.03011号 Carlos E.Alchourrón。;彼得·加德福斯;戴维·梅金森 619 1985 命题证明系统的相对效率。 Zbl 0408.03044号 斯蒂芬·库克。;Robert A.Reckhow。 249 1979 测量理论的基础方面。 Zbl 0084.24603号 达纳·斯科特;帕特里克·苏普斯 185 1959 简单类型理论的公式。 JFM 66.1192.06号 Church,A.教堂。 171 1940 关于Lewis和Heyting序列计算的一些定理。 Zbl 0037.29409号 麦肯锡,J.C.C。;阿尔弗雷德·塔斯基 170 1948 算术中的定义和决策问题。 Zbl 0034.00801号 朱莉娅·罗宾逊 169 1949 类型理论的完整性。 兹比尔0039.00801 莱昂·汉金 165 1950 过滤器lambda模型和类型赋值的完整性。 Zbl 0545.03004号 亨克·巴伦德雷格特;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini 157 1983 简单类型理论的公式。 Zbl 0023.28901号 阿隆佐·丘奇 152 1940 有建设性的虚假。 Zbl 0033.24304号 戴维·纳尔逊 152 1949 Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用。 Zbl 0079.24502号 威廉·克雷格 150 1957 有限型泛函的内涵解释。一、。 Zbl 0174.01202号 泰特,W.W。 149 1967 关于关系演算。 JFM 67.0973.02号 A.塔斯基。 146 1941 关于序数的表示法。 Zbl 0020.33803号 克莱恩,S.C。 145 1938 一种具有可数矩阵的命题演算。 兹伯利0089.24307 米歇尔·达米特 143 1959 模态逻辑中的完备性定理。 Zbl 0091.00902号 索尔·克里普克(Saul A.Kripke)。 139 1959 量子数和(非对易)线性逻辑。 Zbl 0701.03026号 Yetter,David N。 129 1990 标志代数。 Zbl 1146.03013号 亚历山大·拉兹博罗夫。 127 2007 可数结构类的Borel可约性理论。 Zbl 0692.03022号 哈维·弗里德曼;斯坦利,李 126 1989 图问题的递归不可解性。 Zbl 1263.03030号 Emil L.波斯特。 125 1947 有限模型上的概率。 Zbl 0341.02044号 罗纳德·费金 123 1976 关于无穷值句子逻辑的一个定理。 Zbl 0043.00901号 罗伯特·麦克诺顿 112 1951 Borel集和Ramsey定理。 Zbl 0276.04003号 弗雷德·加尔文;卡雷尔·普里克利 109 1973 关于拉姆齐对定理的强度。 Zbl 0977.03033号 彼得·乔拉克(Peter A.Cholak)。;卡尔·乔库什。;西奥多·斯莱曼(Theodore A.Slaman)。 108 2001 关于直觉数论的解释。 Zbl 0063.03260号 南卡罗来纳州克莱恩。 105 1945 没有收缩规则的逻辑。 Zbl 0583.03018号 小野,Hiroakira;小森,Yuichi 104 1985 解析集是拉姆齐的一个新证明。 Zbl 0292.02054号 埃里克·埃伦塔克 104 1974 一阶泛函微积分的完备性。 兹比尔0034.00602 莱昂·亨金 103 1949 分辨率、割平面证明和单调计算的下限。 兹比尔0945.03086 帕维尔·普德拉克 102 1997 线性推理。Herbrand-Gentzen定理的一种新形式。 Zbl 0081.24402号 威廉·克雷格 95 1957 关于关系演算。 Zbl 0026.24401号 阿尔弗雷德·塔斯基 95 1941 谓词分析系统。 Zbl 0134.01101号 费弗曼,S。 94 1964 Nicht konstruktiv beweisbare Sätze der分析。 Zbl 0033.34102号 恩斯特·斯派克 93 1949 关于Entscheidungs问题的注释。 JFM 62.1058.04标准 Church,A.教堂。 91 1936 关于递归枚举的三个定理。一: 分解。二: 最大集。三: 枚举而不重复。 Zbl 0088.01601 理查德·弗里德伯格(Richard M.Friedberg)。 90 1959 可构造的假谓词和不精确的谓词。 Zbl 0575.03016号 艾哈迈德·阿尔穆克达德;戴维·纳尔逊 89 1984 乘法线性逻辑的游戏和完整性。 Zbl 0822.03007号 萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑 89 1994 试错谓词和Mostowski问题的解决方案。 Zbl 0193.30102号 H.普特南。 89 1965 关于强极小集。 Zbl 0217.30402号 J.T.鲍德温。;拉克伦,A.H。 88 1971 关于p-adic域的可定义子集。 Zbl 0362.02046号 安格斯·J·麦金太尔。 88 1976 一些无量词句子的判定问题。 Zbl 0063.03864号 麦肯锡。 86 1943 自然演绎的自然延伸。 兹比尔0574.03045 彼得·施罗德·海斯特 83 1984 无限时间图灵机。 Zbl 0963.03064号 乔尔·戴维·哈姆金斯;安迪·刘易斯 83 2000 反思不完整。 Zbl 0746.03046号 所罗门·费弗曼 82 1991 数学逻辑中的一百零二道题。 Zbl 0318.02002号 哈维·弗里德曼 82 1975 插值定理,证明系统的下界,有界算法的独立性结果。 Zbl 0891.03029号 简·克拉契克 80 1997 限制递归。 Zbl 0203.01201号 戈尔德·E·M。 80 1965 部分递归函数的哥德尔数。 Zbl 0088.01602号 Hartley jun罗杰斯。 80 1959 饱和理想。 Zbl 0395.03031号 肯尼斯·库恩 78 1978 自然三值逻辑-表征和证明理论。 Zbl 0745.03017号 阿诺·阿夫隆 77 1991 算术的存在性和可行性。 Zbl 0243.02037号 罗希特·帕里赫 77 1971 Leon Henkin问题的解决方案。 Zbl 0067.00202号 Löb,M.H。 77 1955 模态逻辑的代数语义。一、 二、。 Zbl 0147.24805号 E.J.莱蒙。 77 1966 布莱克威尔游戏的决定性。 Zbl 0926.03071号 唐纳德·马丁。 75 1998 直觉模糊逻辑和直觉模糊集理论。 Zbl 0575.03015号 盖西·塔库蒂;泰坦尼、佐藤 74 1984 相关逻辑的语义。 Zbl 0245.02028号 阿拉斯代尔·厄克哈特 74 1972 拉姆齐定理和递归理论。 Zbl 0262.02042号 卡尔·G·琼,乔库施。 74 1972 建构集合理论。 兹比尔0314.02045 约翰·米希尔 74 1975 直觉主义逻辑中的统一。 Zbl 0930.03009号 西尔维奥·吉拉尔迪 72 1999 关于警卫的约束权。 Zbl 0958.03027号 埃里希·格拉德尔 72 1999 直觉逻辑的无收缩序列计算。 Zbl 0761.03004号 罗伊·戴克霍夫 71 1992 关于一阶直觉主义命题逻辑中二阶量化的解释。 Zbl 0763.03009号 安德鲁·M·皮茨。 70 1992 R-mingle及其扩展的代数完备性结果。 Zbl 0231.02024 J.Michael Dunn 70 1970 直觉主义命题逻辑的可容许规则。 Zbl 0986.03013号 离开,罗莎莉 68 2001 每个分析集都是拉姆齐。 Zbl 0216.01304号 西尔弗,J。 66 1970 组合原理弱于拉姆齐对定理。 Zbl 1118.03055号 丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;理查德·肖尔(Richard A.Shore)。 66 2007 子结构模糊逻辑。 Zbl 1139.03017号 乔治·梅特卡夫;佛朗哥·蒙塔格纳 66 2007 公理理论的超有限递归级数。 Zbl 0117.25402号 费弗曼,S。 65 1963 订单跳转中编码的学位。 Zbl 0633.03038号 朱莉娅·奈特。 65 1986 基本嵌入和无限组合。 Zbl 0272.02087号 肯尼斯·库恩 64 1971 重新考虑了冯·米塞斯对随机序列的定义。 Zbl 0628.60001号 米歇尔·范·兰巴金 64 1987 关于非有限证明的解释。二: 数论的解释。应用程序。 Zbl 0046.00701号 格奥尔格·克雷塞尔 64 1952 一些子结构逻辑的规范扩展和关系完备性。 兹比尔1101.03021 邓恩,J.迈克尔;梅·盖尔克;亚历山德拉·帕尔米吉亚诺 63 2005 关于代数的直接并成立的句子。 Zbl 0043.24801号 阿尔弗雷德·霍恩 63 1951 递归有序。 Zbl 0067.00303号 克利福德·斯佩克特 61 1955 涉及实变量初等函数的一些不可判定问题。 Zbl 0175.27404号 D.理查森。 61 1968 Weihrauch学位、全能原理和弱可计算性。 Zbl 1222.03071号 瓦斯科·布拉特卡;吉多·格拉迪 61 2011 对一些价值概念的逻辑分析。 Zbl 0943.03599号 弗雷德里克·菲奇。 60 1964 关于非有限证明的解释。一、。 Zbl 0044.00302号 格奥尔格·克雷塞尔 60 1951 混合逻辑:特征、插值和复杂性。 Zbl 0984.03018号 阿雷塞斯,卡洛斯;帕特里克·布莱克本;马尔滕·马克思 59 2001 级联作为算术的基础。 Zbl 0063.06362号 威拉德·范·奥曼·奎因 59 1946 命题证明系统,一阶理论的一致性和计算的复杂性。 Zbl 0696.03029号 简·克拉契克;帕维尔·普德拉克 59 1989 随机性、相对性和图灵度。 Zbl 1090.03013号 安德烈·涅斯;弗兰克·斯蒂芬;塞巴斯蒂安·特维恩。 58 2005 分析确定性和\(O^\#\)。 Zbl 0398.03039号 利奥·哈灵顿 58 1978 鸽子洞原理的可证明性和无穷多素数的存在性。 Zbl 0688.03042号 巴黎,J.B。;A.J.威尔基。;伍兹,A.R。 57 1988 反光固定装置。 Zbl 0506.03014号 梅纳赫姆·马吉多 56 1982 类型理论中的分辨率。 兹比尔0231.02038 安德鲁斯,彼得·B·。 55 1971 切割、一致性声明和解释。 Zbl 0569.03024号 帕维尔·普德拉克 54 1985 命题鸽子洞原理的多项式大小证明。 Zbl 0636.03053号 Samuel R.巴斯。 54 1987 没有不可分辨的模型。 Zbl 0391.03027号 弗雷德·艾布拉姆森。;利奥·A·哈灵顿。 54 1978 朝向有用的无类型理论。一、。 Zbl 0574.03043号 所罗门·费弗曼 53 1984 内核收缩。 Zbl 0810.03017号 斯文·奥夫·汉森 53 1994 RM的建设性分析。 Zbl 0639.03017号 阿诺·阿夫隆 53 1987 纤维范畴和天真范畴理论的基础。 Zbl 0564.18001号 让·贝纳布 52 1985 蕴涵的不可判定性及相关蕴涵。 Zbl 0581.03011号 阿拉斯代尔·厄克哈特 52 1984 线性序Heyting代数中具有真值的逻辑。 Zbl 0181.29904号 霍恩,A。 52 1969 纯非交换经典线性命题逻辑的阶段语义和序列演算。 Zbl 0746.03044号 V.Michele Abrusci 51 1991 结构等级。 Zbl 0512.03024号 琳达·吉恩·里希特 51 1981 不等式的模态逻辑。 Zbl 0788.03019号 马尔滕·德·里杰克 49 1992 直觉命题演算中的一元公式。 Zbl 0108.00302号 岩村西村 49 1960 具有温和拓扑性质的局部o-极小结构。 Zbl 1518.03006号 Masato Fujita 4 2023 细胞类别和稳定的独立性。 兹比尔1514.18006 利伯曼,迈克尔;罗西克、吉伊;塞巴斯蒂安·瓦西 2 2023 NSOP理论中的及物性、低性和等级。 Zbl 07735941号 阿尔特姆·切尔尼科夫;Kim,Byunghan先生;尼古拉斯·拉姆齐 1 2023 根据价值组的条件定义亨塞利安估值。 Zbl 07735945号 洛塔尔·塞巴斯蒂安·克拉普;萨尔玛·库尔曼;莫里茨·林克 1 2023 用连续函数扩展实数不会增加计算能力。 Zbl 07735946号 尤里·安德鲁斯;朱莉娅·奈特。;罗格斯·库珀;约瑟夫·米勒。;玛丽亚·索斯科娃。 1 2023 群和环的玻尔紧化。 Zbl 07735947号 贾库布·吉斯马图林;格拉泽戈兹·贾吉埃拉;Krzysztof,克鲁宾斯基 1 2023 不连续性问题。 Zbl 07735950号 瓦斯科·布拉特卡 1 2023 重新审视弗罗贝尼乌斯地图推导的模型理论。 Zbl 07735951号 雅库布·果戈洛克 1 2023 克纳斯特和朋友们。三: 亚添加剂着色。 Zbl 07735952号 克里斯·兰比·汉森;阿萨夫·里诺特 1 2023 对角线强反射原理及其碎片。 Zbl 07735953号 肖恩·考克斯。;滚蛋,冈特 1 2023 补遗:“有限Heyting代数Fraíssé极限的自同构群”。 兹伯利07735955 Kentarô山本 1 2023 形式结构的度量,以及对克里普克模型及其动力学的应用。 Zbl 07691748号 多米尼克·克莱恩;Rasmus K·伦茨维格。 1 2023 如果无穷大可以是弱的,拉姆齐定理有多强? Zbl 07691754号 Kołodziejczyk、Leszek Aleksander;卡塔兹纳·科瓦利克。;Keita横山 1 2023 超算术分析的几乎定理。 Zbl 1525.03056号 理查德·肖尔(Richard A.Shore)。 1 2023 整体反射原理的模型理论和证明理论。 Zbl 07691759号 Łełyk,马特乌斯·兹比格尼尤 1 2023 树木和固定的倒影在常规红衣主教的双重继任者身上。 Zbl 07691760号 托马斯·吉尔顿;麦克斯韦·莱文;萨尔卡·斯特伊斯卡洛娃 1 2023 理想的运算符和更高的不可描述性。 Zbl 07691762号 布伦特·科迪;天哪,彼得 1 2023 狭隘的公理真理。 Zbl 07657274号 佐藤·肯塔罗;沃克,简 1 2023 一些稳定的非初等模类。 Zbl 07657276号 马扎里·阿尔米达,马科斯 1 2023 可定义结构类的弱Vopěnka原理。 Zbl 07657278号 Joan Bagaria;特雷弗·M·威尔逊。 1 2023 关于超滤器从通用扩展到地面模型的限制。 Zbl 07657279号 莫蒂·吉提克;埃亚尔·卡普兰 1 2023 关于度量代数的同态序列和Efimov问题。 Zbl 1528.28005号 彼得罗·博罗杜林·纳齐亚;达米安·索博塔 1 2023 更多关于在类强制下保存大型基数的信息。 兹伯利07657283 琼·巴加里亚;亚历杭德罗·波维达 1 2023 所有逻辑的偏序集。二: 莱布尼茨类和层次结构。 Zbl 07657284号 Jansana,R。;T·莫拉希尼。 1 2023 大多数理论都有Borel完全约化。 Zbl 07657287号 迈克尔·拉斯科夫斯基(Michael C.Laskowski)。;道格拉斯·乌尔里奇。 1 2023 正则秩有界的有序交换群中的映象的消去。 Zbl 07781917号 玛丽亚娜·维卡里亚 1 2023 布鲁尔的直觉主义和希尔伯特的有限主义的结合。一: 算术。 Zbl 1510.03023号 内莫托、高子;佐藤·肯塔罗 6 2022 拟Polish空间中的Q-wadge层次。 Zbl 07541920号 维克托·塞利瓦诺夫 5 2022 pcf理论在研究(P_{\kappa}(\lambda)\)上理想中的应用。 Zbl 1523.03020号 皮埃尔·马特 5 2022 强制结构和可数Borel等价关系。 Zbl 1526.03005号 高,苏;史蒂夫·杰克逊;爱德华·克罗恩;布兰登·苏厄德 4 2022 在非紧(p\)-adic可定义群上。 Zbl 1512.03057号 威尔·约翰逊;姚宁远 3 2022 破坏方式。 Zbl 07576893号 巴纳巴斯·法卡斯;吕博米尔·兹多姆斯基 3 2022 弱的本质上不可判定理论的相互解释性。 兹比尔07620694 兹拉坦·达姆贾诺维奇 3 2022 关于\(\mathbb{R}\)的不可数性。 Zbl 1523.03004号 达格·诺曼;山姆·桑德斯 3 2022 结构的元组树。 Zbl 1504.03024号 马修·哈里森·特雷纳;安东尼奥·蒙塔尔班 2 2022 封闭类和无界类以及Härtig量词模型。 Zbl 1510.03020号 菲利普·韦尔奇。 2 2022 解释海森堡组中的字段。 Zbl 07576904号 拉切尔·阿尔维;韦斯利·卡尔弗特;格兰特·古德曼;瓦伦蒂娜·哈里扎诺夫;朱莉娅·奈特;罗素·米勒;安德烈·莫罗佐夫;亚历山大·索斯科娃;罗斯·魏沙尔 2 2022 超图中的树强制和可定义的最大独立集。 Zbl 07620696号 乔纳森·席尔汉 2 2022 关于方程完备性定理。 Zbl 07620699号 托马索·莫拉希尼 2 2022 更高的独立性。 Zbl 07620701号 维拉·菲舍尔;戴安娜·卡罗莱纳州蒙托亚 2 2022 问题的可计算性和理论性质之间的关系。 Zbl 1507.03067号 罗德·唐尼;诺姆·格林伯格;马修·哈里森·特雷纳;卢多维奇·佩蒂;丹·图雷茨基 1 2022 类拉姆齐定理和计算模。 兹比尔1505.03028 卢多维奇·佩蒂 1 2022 Cohen代数和随机代数上超滤子的组合学。 Zbl 1510.03015号 约格·布伦德尔;弗朗西斯科·帕伦特 1 2022 非范畴理论的重建。 Zbl 07506774号 伊塔伊本·雅科夫 1 2022 类密度理想和广义密度理想。 Zbl 07506777号 亚当·奎拉;保罗·列奥内蒂 1 2022 HTP-有理数的完备环。 Zbl 1501.12003年 罗素·米勒 1 2022 关于列表结构的DPRM属性的注释。 Zbl 1500.11093号 赫克托·帕滕 1 2022 集合论的非经典基础。 Zbl 07506781号 塔拉福德,苏拉夫 1 2022 拉姆齐的内裤。 Zbl 1486.05304号 尤金尼奥·科拉;多梅尼科赞比拉 1 2022 实的泛Baire集的完美集性质的一致性强度。 Zbl 1504.03028号 拉尔夫·辛德勒;特雷弗·M·威尔逊。 1 2022 枚举度中的结构二分法。 Zbl 1506.03097号 赫里斯托·甘切夫(Hristo A.Ganchev)。;Iskander Sh.Kalimullin。;约瑟夫·米勒。;玛丽亚·索斯科娃。 1 2022 中间逻辑中的Epsilon定理。 兹伯利07541918 巴兹,马蒂亚斯;理查德·扎克 1 2022 康托级数中的描述复杂性。 Zbl 07576896号 艾利、迪伦;史蒂夫·杰克逊;比尔·曼斯 1 2022 这是边界数的另一个理想版本。 Zbl 1504.03025号 拉法·菲利浦奥;亚当·奎拉 1 2022 在普遍理论中计算兄弟姐妹。 Zbl 07576901号 塞缪尔·布兰菲尔德;迈克尔·拉斯科夫斯基(Michael C.Laskowski)。 1 2022 ceers度的初始段。 Zbl 1507.03096号 尤里·安德鲁斯;安德烈·索比 1 2022 可表示关系代数的一阶公理化需要无限量词深度的公式。 Zbl 1518.03016号 罗伯·埃格洛特;罗宾·赫希 1 2022 嵌入到外部模型中。 Zbl 1523.03021号 门罗·埃斯奎;Sy-David弗里德曼 1 2022 投影克隆同态。 Zbl 07370805号 曼纽尔·博迪尔斯基;迈克尔·平斯克;安德拉斯·蓬格拉茨 19 2021 反映等级和顺序分析。 Zbl 1511.03018号 费多尔·帕霍莫夫;詹姆斯·沃尔什 7 2021 乔丹和勒贝格定理的逆向数学。 Zbl 07457794号 安德烈·涅斯;马库斯·特里普特(Marcus A.Triplett)。;Keita横山 5 2021 包含(mathrm{E}\text{-}\tathrm{PA}^\omega+\tathrm{QF}\text}\tatHRm{AC}^{0,0})的系统中Weihrauch可约性的表征。 Zbl 07370811号 帕特里克·乌夫特林 4 2021 分离对角线静止反射原理。 兹比尔07370820 富克斯,冈特;兰比·汉森,克里斯 4 2021 所有逻辑的偏序集。一: 解释和晶格结构。 Zbl 1509.03177号 Jansana,R。;莫拉希尼,T。 4 2021 强制公理、可接近性和静态集反射。 Zbl 07415213号 肖恩·考克斯。 3 2021 通过建立的线性顺序寻找降序序列。 Zbl 07415227号 吴君乐;阿诺·保利;曼利奥·瓦伦蒂 3 2021 将树近似为有色线性序,并完成某些树类的公理化。 Zbl 1509.03116号 鲁安·凯勒曼;瓦伦丁·戈兰科 3 2021 半经典算术中的Prenex范式定理。 Zbl 1509.03160号 藤原真本;Kurahashi、Taishi 3 2021 NIP理论中不变测度的Morley积的关联性。 Zbl 1509.03104号 加布里埃尔·科南特;凯尔·甘农 3 2021 缩短Clopen游戏。 Zbl 07457789号 Juan P.阿奎莱拉。 3 2021 Hyland有效拓扑的谓语变体。 Zbl 07415210号 玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥 2 2021 稳定可测基数。 Zbl 07415211号 菲利普·韦尔奇。 2 2021 ACFG的分叉、想象和其他功能。 Zbl 07415220号 D’克里斯蒂安·埃尔贝 2 2021 好奇的相互模拟。 Zbl 07370807号 伊万诺·齐亚德利;马丁·奥托 2 2021 空扩展的类。 Zbl 1487.03056号 娜塔莎·多布林;丹,海瑟薇 2 2021 NS饱和且\({\Delta}_1\)可定义。 兹伯利07370815 斯特凡·霍夫纳 2 2021 Aronszajn树保存和有界强制公理。 Zbl 07370821号 滚蛋,冈特 2 2021 带有Woodin红衣主教的内部模型中的HOD。 Zbl 1505.03099号 桑德拉·米勒;格里戈尔·萨尔基扬 2 2021 Vaught关于几乎可链接理论的猜想。 Zbl 1509.03101号 米洛什·库里利奇。 2 2021 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 Zbl 1477.18011号 丸山义弘 2 2021 有帮助的通用编码和合并失败。 Zbl 07457783号 Sy-David弗里德曼;丹·海瑟薇 2 2021 各种分析选择原则的比较。 Zbl 07457786号 D’奥里亚克,保罗·埃利奥特·安格尔;木原隆树 2 2021 极小的Steiner系统。一: 存在。 Zbl 07457787号 约翰·鲍德温;Gianluca Paolini 2 2021 Muchnik等级和基本特征。 Zbl 1485.03160号 贝诺伊·莫宁;安德烈·涅斯 1 2021 相对化Lascar群、类型错位和代数性。 Zbl 07415214号 简·多布罗夫斯基;Kim,Byunghan先生;阿列克谢·科列斯尼科夫;Lee,Junguk先生 1 2021 弱集理论中的双重解释。 Zbl 07415218号 阿尔弗雷多·罗克·弗雷尔;乔尔·戴维·哈姆金斯 1 2021 超连续逻辑的有界分析序列计算和嵌入。 Zbl 07415219号 阿加塔·西阿巴托尼;蒂莫·朗;雷万塔Ramanayake 1 2021 有序原则和(Pi^1_4)语句:初步研究。 Zbl 1486.03022号 安东·弗伦德 1 2021 可测超幂函数的闭包性质。 Zbl 07415224号 菲利普·吕克;桑德拉·米勒 1 2021 以(sigma)为中心的强制和相关强制类的模态逻辑。 Zbl 07370806号 是的;Ar、Ur 1 2021 在MA面前,在宽阔的Aronszajn树上。 Zbl 07370810号 米尔纳季阿蒙加;萨拉、撒哈拉 1 2021 克里普克-费弗曼真理的模态逻辑。 Zbl 1491.03015号 卡洛·尼古莱;约翰·斯特恩 1 2021 通过模态逻辑表征可测量基数的存在。 Zbl 07370819号 古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 1 2021 Weihrauch格中的开放和clopen Ramsey定理。 Zbl 07370822号 阿尔贝托·马可尼;曼利奥·瓦伦蒂 1 2021 拉姆齐构造上的岩芯。 Zbl 07370823号 安托万·莫特特;迈克尔·平斯克 1 2021 两个减少选择原则之间的关系。 Zbl 1487.03059号 莎乐美·舒马赫 1 2021 基数不变量之间的更多ZFC不等式。 Zbl 1509.03147号 维拉·菲舍尔;Dániel T.Soukup。 1 2021 关系度量结构的框架限制。 Zbl 1509.03102号 大卫·布莱恩特;安德烈·涅斯;保罗·塔珀 1 2021 Münchhausen可证明性。 Zbl 1509.03162号 Joost J.乔斯特恩。 1 2021 超现实有序指数场。 兹比尔1495.03057 菲利普·埃利希;埃利奥特·卡普兰 1 2021 …还有1572个文档 所有引用出版物 前5名被引用出版物 全部的 前5名10410作者引用 342 萨拉、撒哈拉 127 罗德尼·格雷厄姆·唐尼 99 阿南德·皮莱 93 Sy-David弗里德曼 86 弗兰克·斯蒂芬 74 桑杰贾恩 69 阿瑟·W·阿普特。 68 尼古拉·巴热诺夫(Nikola Bazhenov)ĭAlekseevich 63 安德烈·奥特弗里德·涅斯 63 理查德·阿诺德·肖尔 52 朱莉娅·奈特。 50 诺姆·格林伯格 49 迈克尔·拉特扬 49 维克托·勒沃维奇·塞利瓦诺夫 48 亚历山大·梅尔尼科夫。 48 安东尼奥·蒙塔尔班 47 莫蒂·吉提克 47 乔尔·戴维·哈姆金斯 47 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 45 Samuel R.巴斯。 44 斯泰芬·伦普 44 西奥多·斯莱曼(Theodore A.Slaman)。 44 安德烈·索比 43 约翰·鲍德温(John T.Baldwin)。 43 斯文·奥夫·汉森 43 拉里萨·勒沃夫娜·马克西莫娃 43 罗素·G·米勒。 42 乔库什,卡尔·G·军。 42 约瑟夫·米勒。 42 阿尔伯特·维瑟 41 诺里希罗·卡米德 41 Ng,KengMeng先生 41 阿萨夫·里诺特 40 弗拉基米尔·卡诺维。 40 托多切维奇(Todorcevic),斯特沃·B·。 40 van Benthem,Johan F.A.K。 39 乔治·巴姆帕利亚斯 39 尼克·贝扎尼什维利 38 西尔维奥·吉拉尔迪 38 伊斯坎德·沙吉托维奇·卡利穆林 37 阿诺·阿夫隆 37 Dov M.加巴伊。 37 瓦伦蒂娜·S·哈里扎诺夫。 37 乌尔里希·威廉·科伦巴赫 37 梅纳赫姆·马吉多 35 奥拉夫·拜尔斯多夫 35 古拉姆·贝扎尼什维利 35 迈克尔·赫鲁沙克 35 埃胡德·赫鲁肖夫斯基 34 凯斯,约翰 34 道格拉斯·森泽 34 彼得·乔拉克(Peter A.Cholak)。 34 迈克尔·克里斯·拉斯科夫斯基 34 丹尼尔·蒙迪奇 34 杰弗里·布赖恩·雷梅尔 33 可口、蒂埃里 33 詹姆斯·卡明斯 33 Ralf-Dieter辛德勒 33 詹姆斯·施默尔(James H.Schmerl)。 33 塔克西斯,埃利夫瑟里奥斯 32 简·克拉契克 32 佛朗哥·蒙塔格纳 32 菲利普·施利希特 32 塞巴斯蒂安·瓦西 32 弗兰克·奥拉夫·瓦格纳 32 海因里希·西奥多 31 尤里·安德鲁斯 31 塔帕尼·海蒂宁 31 贝尔布特·沙伊科维奇·库尔普肖夫 31 艾哈迈德、塔雷克说 31 亚历山德拉·施拉彭托克 31 玛丽亚·伊万诺娃·索斯科娃 31 安德烈亚斯·魏尔曼 30 道格拉斯·苏思·布里奇斯 30 伊恩·马丁·霍德金森 30 皮埃尔·马特 29 马提亚斯·巴兹 29 克拉克斯,拉夫 29 谢尔盖·冈查洛夫 29 雅罗斯拉夫·内舍特伊尔 29 山姆·桑德斯 29 吴国华 29 Zdoms‘skyĭ,柳博米尔·塞尔吉ĭovych 28 劳伦特·比恩韦努 28 米尔纳季阿蒙加 28 阿里·埃纳亚特 28 所罗门·费弗曼 28 霍华德·杰罗姆·凯斯勒 28 刘易斯·派安德鲁·E·M。 28 乔治·梅特卡夫 28 Väänänen,Jouko Antero 28 于,梁 27 约格·布伦德尔 27 格雷戈里·谢尔林。 27 维拉·菲舍尔 27 彼得·克林格曼·菲什伯恩 27 哈维·弗里德曼。 27 西蒙·加蒂 27 罗伯特·伊恩·戈德布拉特 27 劳埃德·亨伯斯通 …还有10310多名作者 全部的 前5名600种期刊被引用 1,745 纯逻辑与应用逻辑年鉴 1,701 符号逻辑杂志 808 数学逻辑档案 775 理论计算机科学 768 Studia Logica公司 497 哲学逻辑杂志 477 数学逻辑季刊(MLQ) 415 美国数学学会汇刊 401 以色列数学杂志 392 美国数学学会会刊 362 圣母院形式逻辑杂志 358 合成 317 符号逻辑公报 277 符号逻辑述评 265 代数普遍性 251 代数与逻辑 251 信息与计算 234 拓扑及其应用 206 数学逻辑杂志 185 代数杂志 178 人工智能 171 应用非经典逻辑杂志 162 数学进展 156 模糊集与系统 147 计算机与系统科学杂志 147 纯粹与应用代数杂志 143 Archive für Mathematische Logik und Grundlagenforschung公司 143 MSCS公司。计算机科学中的数学结构 141 逻辑历史与哲学 141 计算机科学中的逻辑方法 127 西伯利亚数学杂志 126 逻辑、语言与信息杂志 125 自动推理杂志 122 泛逻辑 118 数学基础 109 应用逻辑杂志 83 国际近似推理杂志 81 信息处理信件 74 数学与人工智能年鉴 72 离散数学 72 逻辑与逻辑哲学 71 数学笔记 69 代数通讯 69 订单 68 计算系统理论 68 埃尔肯特尼斯 67 数学心理学杂志 66 软计算 60 数学科学杂志(纽约) 58 符号计算杂志 58 ACM计算逻辑事务 53 国际理论物理杂志 52 信息科学 52 国际代数与计算杂志 48 可计算性 48 程序设计中的逻辑和代数方法杂志 44 组合理论杂志。系列A 42 数学年刊 42 逻辑科公报 41 欧洲组合数学杂志 40 苏联数学杂志 37 数学社会科学 37 Indagationes Mathematicae公司。新系列 37 SibirskieÈlektronnye Matematicheskie Izvestiya公司 36 离散应用数学 36 美国数学学会公报 35 数学分析与应用杂志 35 洛巴切夫斯基数学杂志 34 函数编程杂志 32 美国数学学会杂志 32 系统设计中的形式化方法 31 欧洲数学学会期刊 30 数学论坛,西格玛 29 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 29 选择Mathematica。新系列 28 应用的分类结构 27 数学合成 27 组合理论杂志。B系列 27 匈牙利数学学报 27 美国数学学会公报。新系列 27 逻辑程序设计理论与实践 26 数学期刊 26 半群论坛 26 逻辑与分析杂志 25 数学信使 24 功能分析杂志 24 逻辑与代数程序设计杂志 24 朱西厄数学研究所学报 22 Monatsheft für Mathematik 22 计算复杂性 22 RAIRO公司。理论信息学及其应用 22 日本科学院院刊 21 信息学报 21 剑桥哲学学会数学进展杂志 21 理论与决策 21 复杂性杂志 21 计算的形式方面 21 Doklady数学 21 科学基础 20 伦敦数学学会杂志。第二系列 …还有500多份期刊 全部的 前5名61个领域被引用 15,679 数学逻辑和基础(03-XX) 4,256 计算机科学(68至XX) 1,354 有序,格,有序代数结构(06-XX) 899 组合数学(05-XX) 898 一般拓扑结构(54至XX) 798 群论与推广(20-XX) 547 一般代数系统(08-XX) 543 博弈论、经济学、金融和其他社会和行为科学(91-XX) 538 范畴理论;同调代数(18-XX) 528 场论和多项式(12-XX) 464 历史和传记(01-XX) 362 数论(11-XX) 293 功能分析(46倍X倍) 287 总体主题;集合(00-XX) 256 测量和集成(28-XX) 208 代数几何(14-XX) 201 结合环与代数(16-XX) 198 概率论与随机过程(60-XX) 194 交换代数(13-XX) 192 动力系统和遍历理论(37至XX) 160 拓扑群、李群(22日至XX日) 148 实际功能(26-XX) 143 量子理论(81-XX) 113 运筹学、数学规划(90-XX) 94 信息与通信理论、电路(94-XX) 76 算子理论(47-XX) 68 几何图形(51至XX) 66 代数拓扑(55-XX) 63 统计学(62-XX) 58 凸和离散几何(52至XX) 56 序列、级数、可和性(40-XX) 53 线性代数和多线性代数;矩阵理论(15-XX) 50 几个复变量和分析空间(32-XX) 38 数值分析(65-XX) 33 生物学和其他自然科学(92-XX) 32 系统论;控制(93至XX) 30 抽象谐波分析(43至XX) 30 流形和细胞复合体(57至XX) 29 常微分方程(34-XX) 27 复变量的函数(30年XX月) 21 近似值和展开值(41-XX) 19 整体分析,流形分析(58至XX) 18 统计力学,物质结构(82-XX) 16 微分几何(53至XX) 16 相对论和引力理论(83至XX) 14 非结合环和代数(17-XX) 11 特殊功能(33至XX) 11 变分法与最优控制;最优化(49至XX) 10 偏微分方程(35-XX) 10 差分和函数方程(39至XX) 10 欧氏空间的调和分析(42-XX) 9 粒子和系统力学(70-XX) 8 \(K\)理论(19-XX) 7 数学教育(97-XX) 5 经典热力学,传热(80-XX) 4 流体力学(76-XX) 3 势能理论(31日至XX日) 3 积分变换,运算微积分(44-XX) 1 可变形固体力学(74-XX) 1 光学、电磁理论(78-XX) 1 天文学和天体物理学(85-XX) 按年份列出的引文