UNDECIDABLE THEORIES IN STATIONARY-LOGIC

被引：0

|

作者：

SEESE, D

TUSCHIK, P

WEESE, M

机构：

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1982年 / 84卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：563 / 567

页数：5

相关论文

共 50 条

[1] ON THE EXISTENCE OF FINITELY DETERMINATE MODELS FOR SOME THEORIES IN STATIONARY-LOGIC
COMBASE, J
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 687 - 687
[2] STATIONARY-LOGIC AND ORDINALS
SEESE, DG
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 263 (01) : 111 - 124
[3] STATIONARY-LOGIC AND ORDINALS
SEESE, DG
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 698 - 698
[4] STATIONARY-LOGIC OF ORDINALS
MEKLER, AH
ANNALS OF PURE AND APPLIED LOGIC, 1984, 26 (01) : 47 - 68
[5] AUTOMORPHISM PROPERTIES OF STATIONARY-LOGIC
OTTO, M
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) : 231 - 237
[6] CLASSIFICATION-THEORY AND STATIONARY-LOGIC
MEKLER, AH
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1987, 39 (04): : 893 - 907
[7] ABELIAN-GROUPS IN STATIONARY-LOGIC
BAUDISCH, A
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 691 - 691
[8] A CUT ELIMINATION THEOREM FOR STATIONARY-LOGIC
SZABO, ME
ANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (02) : 181 - 193
[9] DEFINABLE ULTRAPOWERS AND COMPACTNESS IN STATIONARY-LOGIC
BRUCE, KB
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 193 - 193
[10] OMEGA-TREES IN STATIONARY-LOGIC
BAUDISCH, A
SEESE, DG
TUSCHIK, HP
FUNDAMENTA MATHEMATICAE, 1983, 119 (03) : 205 - 215

← 1 2 3 4 5 →