BAR INDUCTION AND PI1/1-CA

被引：4
作者：
FRIEDMAN, H
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1969年 / 34卷 / 03期
关键词：
D O I：
10.2307/2270902
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：353 / &
相关论文
共 5 条
[1]  
FRIEDMAN H, IN PRESS
[2]  
FRIEDMAN H, 1968 P BUFF C PROOF
[3]   TRANSFINITE INDUCTION AND BAR INDUCTION OF TYPES ZERO AND 1 AND ROLE OF CONTINUITY IN INTUITIONISTIC ANALYSIS [J].
HOWARD, WA ;
KREISEL, G .
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) :325-&
[4]   A SURVEY OF PROOF THEORY [J].
KREISEL, G .
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) :321-&
[5]   REFLECTION PRINCIPLES AND THEIR USE FOR ESTABLISHING COMPLEXITY OF AXIOMATIC SYSTEMS [J].
KREISEL, G ;
LEVY, A .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (02) :97-&
1