DECIDING PROVABILITY OF CERTAIN FIXED-POINT STATEMENTS

被引：0
|
作者：
BOOLOS, G [1 ]
机构：
[1] MIT,CAMBRIDGE,MA 02139
来源：
JOURNAL OF SYMBOLIC LOGIC | 1977年 / 42卷 / 02期
关键词：
D O I：
10.2307/2272119
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：191 / 193
页数：3
相关论文
共 50 条
  • [31] A FIXED-POINT PROPERTY
    JUHLIN, KD
    AMERICAN MATHEMATICAL MONTHLY, 1969, 76 (03): : 302 - &
  • [32] FIXED-POINT THEOREM
    KALININ, VA
    DOKLADY AKADEMII NAUK SSSR, 1976, 230 (02): : 267 - 268
  • [33] FIXED-POINT CALCULUS
    AARTS, C
    BACKHOUSE, R
    BOITEN, E
    DOORNBOS, H
    VANGASTEREN, N
    VANGELDROP, R
    HOOGENDIJK, P
    VOERMANS, E
    VANDERWOUDE, J
    INFORMATION PROCESSING LETTERS, 1995, 53 (03) : 131 - 136
  • [34] FIXED-POINT ALGEBRAS
    SMORYNSKI, C
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 6 (03) : 317 - 356
  • [35] On a fixed-point theorem
    Binh, TQ
    Chuong, NM
    FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 1996, 30 (03) : 220 - 221
  • [36] A FIXED-POINT PROPERTY
    GUTWIRTH, A
    BULLETIN OF THE RESEARCH COUNCIL OF ISRAEL, 1961, F 10 (01): : 41 - &
  • [37] FIXED-POINT STRUCTURES
    MUENZENBERGER, TB
    SMITHSON, RE
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 184 (OCT) : 153 - 173
  • [38] A FIXED-POINT THEOREM
    SINGH, SL
    SINGH, SP
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1980, 11 (12): : 1584 - 1586
  • [39] ON FIXED-POINT RESULTS
    RAO, KPR
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1986, 17 (04): : 462 - 465
  • [40] THE FIXED-POINT PROPERTY
    RIVAL, I
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1985, 2 (02): : 219 - 221
12345