CZF and Second Order Arithmetic

被引：13
|
作者：
Lubarsky, Robert S. [1 ]
机构：
[1] Florida Atlantic Univ, Dept Math Sci, Boca Raton, FL 33431 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2006年 / 141卷 / 1-2期
关键词：
intuitionistic set theory; recursive realizability; equiconsistency;
D O I：
10.1016/j.apal.2005.07.002
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Constructive ZF + full separation is shown to be equiconsistent with Second Order Arithmetic. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：29 / 34
页数：6
相关论文
共 50 条
  • [41] A transfer principle for second-order arithmetic, and applications
    Carl, Merlin
    Jamneshan, Asgar
    JOURNAL OF LOGIC AND ANALYSIS, 2018, 10 : 1 - 32
  • [42] The strength of Turing determinacy within second order arithmetic
    Montalban, Antonio
    Shore, Richard A.
    FUNDAMENTA MATHEMATICAE, 2016, 232 (03) : 249 - 268
  • [43] CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC
    Montalban, Antonio
    Shore, Richard A.
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (02) : 740 - 765
  • [44] 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,
  • [45] 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
  • [46] HINDMAN'S THEOREM: AN ULTRAFILTER ARGUMENT IN SECOND ORDER ARITHMETIC
    Towsner, Henry
    JOURNAL OF SYMBOLIC LOGIC, 2011, 76 (01) : 353 - 360
  • [47] UNDECIDABLE EXTENSIONS OF MONADIC SECOND-ORDER SUCCESSOR ARITHMETIC
    SIEFKES, D
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (05): : 385 - &
  • [48] A THEOREM ON SECOND-ORDER ARITHMETIC WITH OMEGA-RULE
    TAKAHASH.M
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1970, 22 (01) : 15 - +
  • [49] Fundamental notions of analysis in subsystems of second-order arithmetic
    Avigad, J
    Simic, K
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 139 (1-3) : 138 - 184
  • [50] PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC
    Gitman, Victoria
    JOURNAL OF SYMBOLIC LOGIC, 2025,
12345