DEFINABILITY IN TERMS OF THE SUCCESSOR FUNCTION AND THE COPRIMENESS PREDICATE IN THE SET OF ARBITRARY INTEGERS

被引：6
作者：
RICHARD, D [1 ]
机构：
[1] UNIV LYON 1, INST MATH & INFORMAT, F-69622 VILLEURBANNE, FRANCE
来源：
JOURNAL OF SYMBOLIC LOGIC | 1989年 / 54卷 / 04期
关键词：
D O I：
10.2307/2274815
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1253 / 1287
页数：35
相关论文
共 10 条
[1]   On the numerical factors of the arithmetic forms alpha(n +/-) beta (n) . [J].
Carmichael, RD .
ANNALS OF MATHEMATICS, 1913, 15 :30-48
[2]   HOW MANY PAIRS OF PRODUCTS OF CONSECUTIVE INTEGERS HAVE THE SAME PRIME FACTORS [J].
ERDOS, P .
AMERICAN MATHEMATICAL MONTHLY, 1980, 87 (05) :391-392
[3]  
GUY R, 1981, PROBLEM BOOKS MATH, V1
[4]   ALL ARITHMETICAL SETS OF POWERS OF PRIMES ARE 1ST-ORDER DEFINABLE IN TERMS OF THE SUCCESSOR FUNCTION AND THE COPRIMENESS PREDICATE [J].
RICHARD, D .
DISCRETE MATHEMATICS, 1985, 53 (MAR) :221-247
[5]   ANSWER TO A PROBLEM RAISED BY ROBINSON,J. - THE ARITHMETIC OF POSITIVE OR NEGATIVE INTEGERS IS DEFINABLE FROM SUCCESSOR AND DIVISIBILITY [J].
RICHARD, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) :927-935
[6]  
RICHARD D, 1987, CR ACAD SCI I-MATH, V305, P665
[7]  
Robinson J., 1949, J SYMBOLIC LOGIC, V14, P98
[8]  
SHAPIRO H, 1982, INTRO THEORY NUMBERS
[9]  
Woods A. R., 1981, THESIS U MANCHESTER
[10]  
[No title captured]
1