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 .

[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