REMARKS ON RECURSIVE ARITHMETIC

被引：0
|
作者：
MULLIN, AA
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：325 / 326
页数：2
相关论文
共 50 条
  • [21] The property "arithmetic-is-recursive" on a cone
    Andrews, Uri
    Harrison-Trainor, Matthew
    Schweber, Noah
    JOURNAL OF MATHEMATICAL LOGIC, 2021, 21 (03)
  • [22] Some remarks on generalized recursive polynomials
    Wiljanen, Luke
    Zeleke, Aklilu
    INVOLVE, A JOURNAL OF MATHEMATICS, 2021, 14 (02): : 181 - 194
  • [23] REMARKS ON BASE EXTENSION FOR MODULAR ARITHMETIC
    OKEEFE, KH
    WRIGHT, JL
    IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (09) : 833 - 835
  • [24] REMARKS ON ADDITIVE STRUCTURES IN MODELS OF ARITHMETIC
    KELLER, JP
    RICHARD, D
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 287 (03): : 101 - 104
  • [25] ITERATED LIMITS OF RECURSIVE FUNCTIONS ARITHMETIC HIERARCHY
    GOETZE, B
    KLETTE, R
    GILLO, D
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (03): : 265 - 272
  • [26] GOLDBACH CONJECTURE AND CONSISTENCY OF GENERAL RECURSIVE ARITHMETIC
    POGORZELSKI, HA
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1974, 268 : 1 - 16
  • [27] A recursive DCT algorithm with new distributed arithmetic
    Chien, Y. M.
    Lin, Y.
    2006 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1-4: VOL 1: SIGNAL PROCESSING, 2006, : 2582 - 2587
  • [28] PROVABLY RECURSIVE FUNCTIONS IN FRAGMENTS OF PEANO ARITHMETIC
    ONO, H
    KADOTA, N
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 494 - 495
  • [29] RECURSIVE FORMULA FOR ARITHMETIC ASIAN OPTION PRICES
    Lee, Kyungsub
    JOURNAL OF FUTURES MARKETS, 2014, 34 (03) : 220 - 234
  • [30] PROVABLY RECURSIVE FUNCTIONS IN FRAGMENTS OF PEANO ARITHMETIC
    ONO, H
    KADOTA, N
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (04) : 721 - 737
12345