OMITTING TYPES IN SET-THEORY AND ARITHMETIC

被引:3
作者
KNIGHT, JF [1 ]
机构
[1] PENN STATE UNIV,UNIVERSITY PK,PA 16802
关键词
D O I
10.2307/2272941
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:25 / 32
页数:8
相关论文
共 8 条
[1]   STRONGLY MINIMAL SETS [J].
BALDWIN, JT ;
LACHLAN, AH .
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) :79-&
[2]  
Cohen Paul, 1966, SET THEORY CONTINUUM
[3]  
Ehrenfeucht A., 1956, FUND MATH, V43, P50, DOI [10.4064/fm-43-1-50-68, DOI 10.4064/FM-43-1-50-68]
[4]  
Keisler H. Jerome, 1971, MODEL THEORY INFINIT
[5]   ELEMENTARY EXTENSIONS OF MODELS OF SET THEORY [J].
KEISLER, HJ ;
MORLEY, M .
ISRAEL JOURNAL OF MATHEMATICS, 1968, 6 (01) :49-&
[6]   TYPES OMITTED IN UNCOUNTABLE MODELS OF ARITHMETIC [J].
KNIGHT, JF .
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (03) :317-320
[7]  
MORLEY M, 1965, T AM MATH SOC, V114, P514
[8]  
Morley M., 1965, THEORY MODELS, P265