EPISTEMIC ARITHMETIC IS A CONSERVATIVE EXTENSION OF INTUITIONISTIC ARITHMETIC

被引：19

|

作者：

GOODMAN, ND

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 01期

关键词：

D O I：

10.2307/2274102

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：192 / 203

页数：12

相关论文

共 50 条

[1] CONSERVATIVE EXTENSION IN RELEVANT ARITHMETIC
MEYER, RK
URBAS, I
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 45 - 50
[2] A standard model of Peano arithmetic with no conservative elementary extension
Enayat, Ali
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2008, 156 (2-3) : 308 - 318
[3] Intuitionistic weak arithmetic
Moniri, M
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (08) : 791 - 796
[4] What is Intuitionistic Arithmetic?
Peluce, V. Alexis
[J]. ERKENNTNIS, 2023,
[5] Intuitionistic weak arithmetic
Morteza Moniri
[J]. Archive for Mathematical Logic, 2003, 42 : 791 - 796
[6] INTUITIONISTIC ELEMENTARY ARITHMETIC
BOCHERNIKOV, VY
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1992, 33 (02) : 195 - 200
[7] In Defense of Epistemic Arithmetic
Leon Horsten
[J]. Synthese, 1998, 116 : 1 - 25
[8] Reflecting in epistemic arithmetic
Horsten, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (03) : 788 - 801
[9] In defense of Epistemic Arithmetic
Horsten, L
[J]. SYNTHESE, 1998, 116 (01) : 1 - 25
[10] SPECIAL INSTANCES OF GENERALIZED CONTINUITY WHICH ARE CONSERVATIVE OVER INTUITIONISTIC ARITHMETIC
TROELSTRA, AS
[J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1977, 80 (01): : 55 - 65

← 1 2 3 4 5 →