ON COMPLETENESS OF ARITHMETIC

被引：0
|
作者：
BELYAKIN, NV
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1967年 / 175卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：975 / &
相关论文
共 50 条
  • [1] Numeral completeness of weak theories of arithmetic
    Kahle, Reinhard
    Oitavem, Isabel
    Santos, Paulo Guilherme
    JOURNAL OF LOGIC AND COMPUTATION, 2023,
  • [2] COMPLETENESS THEOREMS, INCOMPLETENESS THEOREMS AND MODELS OF ARITHMETIC
    MCALOON, K
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 239 (MAY) : 253 - 277
  • [3] On the completeness of test cases for atomic arithmetic expressions
    Tse, TH
    Chen, TY
    Feng, X
    FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 149 - 155
  • [4] ON THE COMPLETENESS PRINCIPLE - A STUDY OF PROVABILITY IN HEYTINGS ARITHMETIC AND EXTENSIONS
    VISSER, A
    ANNALS OF MATHEMATICAL LOGIC, 1982, 22 (03): : 263 - 295
  • [5] Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
    de Gouw, Stijn
    de Boer, Frank
    Ahrendt, Wolfgang
    Bubel, Richard
    SOFSEM 2013: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2013, 7741 : 207 - 219
  • [6] AFFINE COMPLETENESS AND EUCLIDEAN COMPLETENESS
    LI, AM
    LECTURE NOTES IN MATHEMATICS, 1991, 1481 : 115 - 125
  • [7] ORDER COMPLETENESS AND TOPOLOGICAL COMPLETENESS
    WRIGHT, JDM
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1969, 1 (3P3): : 444 - &
  • [8] COMPLETENESS AND MODEL COMPLETENESS IN FUHRKENS LANGUAGE
    VINNER, S
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (02): : 456 - &
  • [9] For completeness
    Boissevain, Iaira
    TIJDSCHRIFT VOOR DIERGENEESKUNDE, 2011, 136 (02) : 77 - 78
  • [10] Completeness
    Holloway, Laura Eleanor
    JOURNAL OF HUMANISTIC MATHEMATICS, 2015, 5 (01): : 296 - 296
12345