UNDECIDABLE RINGS

被引：0
|
作者：
ROBINSON, RM
机构：
来源：
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1949年 / 55卷 / 11期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1050 / 1050
页数：1
相关论文
共 50 条
  • [31] Learnability can be undecidable
    Shai Ben-David
    Pavel Hrubeš
    Shay Moran
    Amir Shpilka
    Amir Yehudayoff
    [J]. Nature Machine Intelligence, 2019, 1 : 44 - 48
  • [32] Quantum logic is undecidable
    Tobias Fritz
    [J]. Archive for Mathematical Logic, 2021, 60 : 329 - 341
  • [33] Linear Termination is Undecidable
    Mitterwallner, Fabian
    Middeldorp, Aart
    Thiemann, Rene
    [J]. PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [34] UNDECIDABLE DIOPHANTINE EQUATIONS
    JONES, JP
    [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 3 (02): : 859 - 862
  • [35] BOUNDED QUANTIFICATION IS UNDECIDABLE
    PIERCE, BC
    [J]. INFORMATION AND COMPUTATION, 1994, 112 (01) : 131 - 165
  • [36] EXTREMELY UNDECIDABLE SENTENCES
    BOOLOS, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (01) : 191 - 196
  • [37] Action Logic is Undecidable
    Kuznetsov, Stepan
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
  • [38] Relevant S is Undecidable
    Knudstorp, Soren Brinck
    [J]. PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [39] ON A CLASS OF UNDECIDABLE FIELDS
    JENSEN, CU
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1982, 295 (09): : 507 - 509
  • [40] The theory of the α degrees is undecidable
    Chong, C. T.
    Slaman, T. A.
    [J]. ISRAEL JOURNAL OF MATHEMATICS, 2010, 178 (01) : 229 - 252
12345