A few more dissimilarities between second-order arithmetic and set theory

被引:2
|
作者
Fujimoto, Kentaro [1 ]
机构
[1] Univ Bristol, Bristol, Avon, England
关键词
Second-order set theory; Class theory; Second-order arithmetic; Reverse mathematics; Kripke-Platek set theory; INDUCTIVE DEFINITIONS; TRUTHS; FULL;
D O I
10.1007/s00153-022-00829-3
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Second-order arithmetic and class theory are second-order theories of mathematical subjects of foundational importance, namely, arithmetic and set theory. Despite the similarity in appearance, there turned out to be significant mathematical dissimilarities between them. The present paper studies various principles in class theory, from such a comparative perspective between second-order arithmetic and class theory, and presents a few new dissimilarities between them.
引用
收藏
页码:147 / 206
页数:60
相关论文
共 50 条