REMARKS ON RECURSIVE ARITHMETIC

被引：0

|

作者：

MULLIN, AA

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：325 / 326

页数：2

相关论文

共 50 条

[1] ON RECURSIVE ARITHMETIC
MULLIN, AA
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1091 - 1092
[2] A formalization of recursive arithmetic
Curry, HB
AMERICAN JOURNAL OF MATHEMATICS, 1941, 63 : 263 - 282
[3] A NOTE ON RECURSIVE UNSOLVABILITY OF PRIMITIVE RECURSIVE ARITHMETIC
GRANDY, RE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1966, 17 (01) : 146 - +
[4] Remarks on Peano arithmetic
Sayward, C
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32
[5] INDEPENDENT RECURSIVE AXIOMATIZABILITY IN ARITHMETIC
JONES, JP
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 23 (01) : 107 - +
[6] MODELS OF ARITHMETIC AND RECURSIVE FUNCTIONS
HIRSCHFELD, J
ISRAEL JOURNAL OF MATHEMATICS, 1975, 20 (02) : 111 - 126
[7] Nonstandard arithmetic and recursive comprehension
Keisler, H. Jerome
ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (08) : 1047 - 1062
[8] Remarks on Arithmetic Restricted Volumes and Arithmetic Base Loci
Ikoma, Hideaki
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 2016, 52 (04) : 435 - 495
[9] The Arithmetic Recursive Average as an Instance of the Recursive Weighted Power Mean
Wagner, Christian
Havens, Timothy C.
Anderson, Derek T.
2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
[10] Remarks on Grassmann's Arithmetic
Hanusek, Jerzy
DIAMETROS, 2015, 45 : 107 - 121

← 1 2 3 4 5 →