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 条
  • [1] A few more dissimilarities between second-order arithmetic and set theory
    Kentaro Fujimoto
    Archive for Mathematical Logic, 2023, 62 : 147 - 206
  • [2] Second-Order Logic and Set Theory
    Vaananen, Jouko
    PHILOSOPHY COMPASS, 2015, 10 (07): : 463 - 478
  • [3] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY
    SIMPSON, SG
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553
  • [4] INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC
    Kaye, Richard
    JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (03) : 845 - 858
  • [5] Second order arithmetic as the model companion of set theory
    Giorgio Venturi
    Matteo Viale
    Archive for Mathematical Logic, 2023, 62 : 29 - 53
  • [6] Second order arithmetic as the model companion of set theory
    Venturi, Giorgio
    Viale, Matteo
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (1-2) : 29 - 53
  • [7] Models of second-order Zermelo set theory
    Uzquiano, G
    BULLETIN OF SYMBOLIC LOGIC, 1999, 5 (03) : 289 - 302
  • [8] Subsystems of second-order arithmetic
    Ketland, J
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2001, 52 (01): : 191 - 195
  • [9] NON-TIGHTNESS IN CLASS THEORY AND SECOND-ORDER ARITHMETIC
    Freire, Alfredo roque
    Williams, Kameryn J.
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [10] THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
    Dean, Walter
    Walsh, Sean
    REVIEW OF SYMBOLIC LOGIC, 2017, 10 (02): : 357 - 396
12345