APPLICATIONS OF VAUGHT SENTENCES AND COVERING THEOREM

被引：12

|

作者：

HARNIK, V

MAKKAI, M

机构：

[1] DARTMOUTH COLL,HANOVER,NH 03755

[2] UNIV MONTREAL,MONTREAL 101,QUEBEC,CANADA

来源：

JOURNAL OF SYMBOLIC LOGIC | 1976年 / 41卷 / 01期

关键词：

D O I：

10.2307/2272957

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：171 / 187

页数：17

相关论文

共 50 条

[1] VAUGHT SENTENCES AND THE COVERING THEOREM
KUEKER, DW
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (03): : 221 - 228
[2] GENERALIZED VAUGHT SENTENCES
MAKKAI, M
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A443 - A443
[3] THEOREM OF VAUGHT
ROSENSTEIN, JG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (03) : 439 - +
[4] VAUGHT SENTENCES AND REGULAR RELATIONS
MAKKAI, M
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A332 - A332
[5] A Covering Theorem with applications
Neugebauer, CJ
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2002, 130 (10) : 2883 - 2891
[6] APPLICATIONS OF VAUGHTS COVERING THEOREM
HARNIK, V
MAKKAI, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 393 - 393
[7] VAUGHT THEOREM RECURSIVELY REVISITED
MILLAR, T
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 397 - 411
[8] FEFERMAN-VAUGHT THEOREM REVISITED
VOLGER, H
[J]. COLLOQUIUM MATHEMATICUM, 1976, 36 (01) : 1 - 11
[9] VAUGHT'S THEOREM ON AXIOMATIZABILITY BY A SCHEME
Visser, Albert
[J]. BULLETIN OF SYMBOLIC LOGIC, 2012, 18 (03) : 382 - 402
[10] FEFERMAN-VAUGHT THEOREM REVISITED
VOLGER, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 120 - 120

← 1 2 3 4 5 →