×

符号逻辑杂志

简短标题: J.塞姆。日志。
出版商: 剑桥大学出版社,纽约州西尼亚克;纽约波基普西符号逻辑协会(ASL)
国际标准编号: 0022-4812; 1943-5886/年
在线: https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issues网站
http://projecteuclid.org/jsl
http://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)

按年份列出的出版物

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名

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)

按年份列出的引文