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

被引：2
|
作者：
Fujimoto, Kentaro [1 ]
机构：
[1] Univ Bristol, Bristol, Avon, England
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2023年 / 62卷 / 1-2期
关键词：
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 条
  • [21] Axiomatizations of arithmetic and the first-order/second-order divide
    Novaes, Catarina Dutilh
    SYNTHESE, 2019, 196 (07) : 2583 - 2597
  • [22] Axiomatizations of arithmetic and the first-order/second-order divide
    Catarina Dutilh Novaes
    Synthese, 2019, 196 : 2583 - 2597
  • [23] Second-order Logic and the Power Set
    Ethan Brauer
    Journal of Philosophical Logic, 2018, 47 : 123 - 142
  • [24] Second-order Logic and the Power Set
    Brauer, Ethan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (01) : 123 - 142
  • [25] A theory of second-order trees
    Glew, N
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2002, 2305 : 147 - 161
  • [26] A second-order theory for NL
    Cook, S
    Kolokolova, A
    19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 398 - 407
  • [27] Unifying the model theory of first-order and second-order arithmetic via WKL0
    Enayat, Ali
    Wong, Tin Lok
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (06) : 1247 - 1283
  • [28] On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
    Berthe, Valerie
    Karimov, Toghrul
    Nieuwveld, Joris
    Ouaknine, Joel
    Vahanwala, Mihir
    Worrell, James
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [29] NOTION OF EXTENSION FOR MODELS OF FULL SECOND-ORDER ARITHMETIC
    ARTIGUE, M
    ISAMBERT, E
    PERRIN, MJ
    ZALC, A
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (12): : 1087 - 1091
  • [30] PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC
    Gitman, Victoria
    JOURNAL OF SYMBOLIC LOGIC, 2025,
12345