An arithmetical hierarchy of the law of excluded middle and related principles

被引：40

作者：

Akama, Y ^{[1
]}

Berardi, S ^{[1
]}

Hayashi, S ^{[1
]}

Kohlenbach, U ^{[1
]}

机构：

[1] Tohoku Univ, Inst Math, Sendai, Miyagi 980, Japan

来源：

19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/LICS.2004.1319613

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：192 / 201

页数：10

共 20 条

[1]

[Anonymous], LNM

[2]

BARATELLA S, 1998, MSJ MEMORIES, V2, P177

Berardi, S .

[4]

BERARDI S, IN PRESS MATH STRUCT

[5]

Bishop E., 1967, Foundations of Constructive Analysis

[6]

Hayashi S, 2002, LECT NOTES ARTIF INT, V2533, P7

[7] Towards the animation of proofs - testing proofs by examples [J].

Hayashi, S ;

Sumitomo, R ;

Shii, K .

[8]

HAYASHI S, 2001, LNCS, V2277, P125

[9]

Heyting A., 1959, CONSTRUCTIVITY MATH, P81

[10]

ISHIHARA H, 2004, 229 CDMTCS RES