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 条

[1] Second order arithmetic and autonomous computability
Gailit, EV
SIBERIAN MATHEMATICAL JOURNAL, 2003, 44 (02) : 244 - 249
[2] Second Order Arithmetic and Autonomous Computability
E. V. Gailit
Siberian Mathematical Journal, 2003, 44 : 244 - 249
[3] Second Order Arithmetic and Pulsating Hierarchies
E. V. Gailit
Siberian Mathematical Journal, 2001, 43 : 22 - 27
[4] Second order arithmetic and pulsating hierarchies
Gailit, EV
SIBERIAN MATHEMATICAL JOURNAL, 2002, 43 (01) : 22 - 27
[5] Subsystems of second-order arithmetic
Ketland, J
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2001, 52 (01): : 191 - 195
[6] The recursively Mahlo property in second order arithmetic
Rathjen, M
MATHEMATICAL LOGIC QUARTERLY, 1996, 42 (01) : 59 - 66
[7] Second-Order Arithmetic Sans Sets†
Berk, Lon
PHILOSOPHIA MATHEMATICA, 2013, 21 (03) : 339 - 350
[8] SECOND ORDER ARITHMETIC MEANS IN OPERATOR IDEALS
Kaftal, Victor
Weiss, Gary
OPERATORS AND MATRICES, 2007, 1 (02): : 235 - 256
[9] Complex analysis in subsystems of second order arithmetic
Keita Yokoyama
Archive for Mathematical Logic, 2007, 46 : 15 - 35
[10] Complex analysis in subsystems of second order arithmetic
Yokoyama, Keita
ARCHIVE FOR MATHEMATICAL LOGIC, 2007, 46 (01) : 15 - 35

← 1 2 3 4 5 →