TREE ARGUMENT IN INFINITARY MODEL THEORY

被引:10
作者
HARNIK, V [1 ]
MAKKAI, M [1 ]
机构
[1] MCGILL UNIV,DEPT MATH,MONTREAL H3C 3G1,QUEBEC,CANADA
关键词
D O I
10.2307/2041293
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
引用
收藏
页码:309 / 314
页数:6
相关论文
共 12 条
[1]  
BURGESS J, UNPUBLISHED
[2]  
BURGESS JP, 1974, THESIS U CALIFORNIA
[3]  
HARNIK V, 1975, J SYMBOLIC LOGIC, V40, P300
[4]  
Harrington L., POWERLESS PROOF THEO
[5]  
Keisler H. Jerome, 1971, MODEL THEORY INFINIT
[6]  
MAKKAI M, 1977, ANN MATH LOGIC, V11, P1
[7]  
MAKKAI M, 1977, HDB LOGIC
[8]   NUMBER OF COUNTABLE MODELS [J].
MORLEY, M .
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) :14-&
[9]  
MORLEY M, 1973, P S PURE MATH, V25, P233
[10]  
Ressayre J-P., 1977, ANN MATH LOGIC, V11, P31, DOI DOI 10.1016/0003-4843(77)90009-2