斯蒂芬·辛普森。 二阶算术子系统。第2版。 （英语） Zbl 1181.03001号 逻辑观点剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-0-521-88439-6/hbk）。xvi，第444页。(2009). 本文是辛普森关于逆向数学不可或缺的书的第二版。除了更正了极少数印刷错误、更新了序言和增加了三个书目条目外，本版本与第一版[二阶算术子系统。数学逻辑透视。柏林：施普林格（1999；Zbl 0909.03048号)]. 特别是，两个版本中所有结果的编号都是相同的，因此任何一个版本都可以用于查找反向数学文献中的特定参考。审核人：杰弗里·赫斯特（布恩） 引用于4评论引用于372文件 MSC公司： 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 03B30型 经典理论基础（包括逆向数学） 35楼03号 二阶和高阶算术和片段 03C62号 算术和集合论模型 关键词：逆向数学；远程控制卡；递归理解；WKL公司；弱König引理；ACA公司；算术理解；自动标签阅读器；算术超限递归；\（Pi^1_1）理解；β模型；欧米茄模型；希尔伯特程序 引文：Zbl 0909.03048号 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson}，二阶算术子系统。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（2009；Zbl 1181.03001）