符号逻辑公报,第22卷
第22卷第1期,2016年3月
安德烈·因德泽扎克 :
超序列框架中的线性时间。 121-144
第22卷第2期,2016年6月
卢多维克·佩蒂 :
关于反向数学中Ramsey-Type语句的开放式问题。 151-169 奥利维娅·卡拉梅尔 , 安娜·卡拉·拉索 :
格序阿贝尔群和完美MV代数:拓扑理论的观点。 170-214 Stefania Centrone公司 :
早期博尔扎诺论基础——后果证明。 215-237 Isaac Goldbring公司 , 布拉德·哈特 :
可计算性和连接嵌入问题。 238-248 劳伦特·宾文努(Laurent Bienvenu) , 克里斯托弗·波特 :
深Pi 1 0 课程。 249-286
斯特芬·伦普 :
Kenneth Kunen,《数学基础,逻辑研究,数学逻辑和基础》,第19卷。 学院出版物,伦敦,2009年,vii+251页。 287-288 托马斯·斯特拉姆 :
Katalin Bimbó。 证明理论:序贯演算和相关形式化。 CRC出版社,博卡拉顿,2014年,x+374页。 288-289 埃德温·D·马雷斯 :
格雷戈里·摩尔(编辑),《伯特兰·罗素论文集》,第5卷:走向“数学原理”,伦敦和纽约:劳特利奇出版社,2014年,c+954和10版。 289-291 马丁·希尔斯 :
Byunghan Kim。 简单理论。 牛津逻辑指南,53。 牛津大学出版社,牛津,2014年,x+224页。 291-293
阿尼尔·内罗德 :
纪念:Hartley Rogers,Jr.1926-2015。 294-297
第22卷第3期,2016年9月
大卫·米洛维奇 :
Kenneth Kunen,集理论,《逻辑研究:数学逻辑和基础》,第34卷,大学出版社,伦敦,2011年,viii+401页。 353-354 阿拉斯代尔·厄克哈特 :
S.Barry Cooper和Andrew Hodges(编辑),《曾经和未来的图灵:计算世界》。 剑桥大学出版社,2016年。 xviii+379页,其中:-马丁·戴维斯。 算法、方程和逻辑。 第4-19页 J.M.E.海兰德。 《被遗忘的图灵》,第20-33页 安德鲁·布克。 图灵和素数。 第34-52页 乌埃里·毛雷尔。 图灵之后的密码学和计算,第53-77页 Kanti V.Mardia和S.Barry Cooper。 阿兰·图灵和神秘统计学。 第78-89页 斯蒂芬·沃尔夫拉姆。 阿兰·图灵可能发现的东西。 第92-105页 克里斯托夫·特谢尔(Christof Teuscher)。 设计与固有计算。 第106-116页 所罗门·费弗曼。 图灵的“甲骨文”:从绝对计算到相对计算,再到反向计算。 第300-334页 P.D.韦尔奇。 图灵超越:超越事件视界。 第335-360页 罗杰·彭罗斯。 论数学思维建模的尝试。 第361-378页。 354-356 刘易斯·鲍恩 :
瓦莱里奥·卡普拉罗(Valerio Capraro)和马蒂诺·卢皮尼(Martino Lupini),《Sofic和超线性群及康纳斯嵌入猜想导论》,数学课堂讲稿,第2136卷,施普林格国际出版公司,瑞士,2015年,viii+151页。 356-358 克林顿·T·康利 :
Vladimir Kanovei、Marcin Sabok和Jindřich Zapletal,波兰空间的规范Ramsey理论,剑桥数学丛书,第202卷,剑桥大学出版社,2013年,viii+269 pp。 358-360
安德鲁·刘易斯·佩伊 , 安德烈亚·索比 :
纪念:巴里·库珀1943-2015。 361-365
第22卷第4期,2016年12月
茨万科·伊尔贾佐维奇 , Lucija Validzic公司 :
最大可计算性结构。 445-468 米洛斯·阿德齐克 , 科斯塔·多森 :
哥德尔圣母院球场。 469-481 欧文·格里菲斯 , 亚历山大·帕索 :
同构不变性和超生成。 482-503 阿拉斯代尔·厄克哈特 :
罗素和哥德尔。 504-520
欧内斯特·席默林 :
John R.Steel和W.Hugh Woodin,作为核心模型的HOD,《顺序定义和递归理论:阴谋研讨会》,第三卷(a.S.Kechris、B.Löwe和J.R.Steel,编辑),《逻辑课堂笔记43》,符号逻辑协会和剑桥大学出版社,2016年,第257-343页。 521-524 亨利·托斯纳 :
Reinhard Kahle和Michael Rathjen,编辑,Gentzen的百年诞辰:对一致性的追求,施普林格,2015年。 525-526 丹尼斯·赫施费尔特 :
关于逆向数学和拉姆齐理论原理的五篇论文——C.T.Chong、Theodore A.Slaman和岳阳,稳定拉姆齐对定理的元数学。 《美国数学学会杂志》,第27卷(2014年),第3期,第863-892页 曼纽尔·勒曼(Manuel Lerman)、里德·所罗门(Reed Solomon)和亨利·托斯纳(Henry Towsner),《拉姆齐配对定理下的分离原理》。 《数理逻辑杂志》,第13卷(2013),第2期,1350007,44页-刘嘉义,$RT_2^2$并不意味着WKL为0。 《符号逻辑杂志》,第77卷(2012),第2期,第609-620页 刘璐,圆锥体避免闭合集。 《美国数学学会学报》,第367卷(2015),第3期,第1609-1630页 王伟,一些逻辑较弱的拉姆塞扬定理。 《数学进展》,第261卷(2014年),第1-25页。 526-530 埃瑞克辛德尔 :
M.Carrara、A.Arapinis和F.Moltmann,编辑。 统一与多元:逻辑、哲学和语言学。 牛津大学出版社,2016年。 530-532
约阿希姆·米勒(Joachim Mueller-Theys) :
勘误表。 585