ULTRAFILTERS AND TYPES ON MODELS OF ARITHMETIC

被引：11
作者：
KIRBY, LAS [1 ]
机构：
[1] CUNY,BARUCH COLL,DEPT MATH,NEW YORK,NY 10010
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1984年 / 27卷 / 03期
关键词：
D O I：
10.1016/0168-0072(84)90027-7
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：215 / 252
页数：38
相关论文
共 25 条
[1]   CERTAIN TYPES AND MODELS FOR ARITHMETIC [J].
BLASS, A .
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) :151-162
[2]  
BLASS A, 1977, T AM MATH SOC, V225, P325
[3]   RUDIN-KEISLER ORDERING OF PARA POINTS [J].
BLASS, A .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 179 (MAY) :145-166
[4]  
BOOTH D, 1970, ANN MATH LOGIC, P1
[5]  
CARROLL L, HUNTING SNARK
[6]   2 FURTHER COMBINATORIAL THEOREMS EQUIVALENT TO THE 1-CONSISTENCY OF PEANO ARITHMETIC [J].
CLOTE, P ;
MCALOON, K .
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) :1090-1104
[7]  
DICKMANN MA, 1980, ASTERIQUE, V73
[8]  
FRIEDMAN H, 1976, J SYMBOLIC LOGIC, V41, P557
[9]  
Gaifman H., 1976, ANN MATH LOGIC, V9, P223
[10]  
Jech T., 2002, SET THEORY
123