学术探索
学术期刊
新闻热点
数据分析
智能评审

REFLECTION PRINCIPLES AND THEIR USE FOR ESTABLISHING COMPLEXITY OF AXIOMATIC SYSTEMS

被引：82
作者：
KREISEL, G
LEVY, A
机构：
[1] Stanford, California
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1968年 / 14卷 / 02期
关键词：
D O I：
10.1002/malq.19680140702
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：97 / &
相关论文
共 59 条
  • [21] KREISEL G, 1963, J SYMB LOG, V28, P307
  • [22] KREISEL G, 1958, J SYMB LOG, V23, P109
  • [23] Kreisel G., 1955, FUND MATH, V42, P101
  • [24] KREISEL G, 1952, MATH Z, V57, P1
  • [25] KREISEL G, 1968, J SYMB LOG, V33
  • [26] KREISEL G, 1960, J SYMBOL LOGIC, V25, P390
  • [27] Kreisel G., 1959, J SYMBOLIC LOGIC, V24, P322
  • [28] LEVY A, 1960, ILLINOIS J MATH, V4, P413
  • [29] LEVY A, 1960, PAC J MATH, V10, P223
  • [30] LEVY A, 1958, P AM MATH SOC, V9, P942
123456