SUPER COMPACTS AND SKOLEM-LOWENHEIM THEOREM FOR HIGHER ORDER LOGIC

被引：0

|

作者：

MAGIDOR, M

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1971年 / 18卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：259 / &

相关论文

共 50 条

[1] NEW PROOF OF THE SKOLEM-LOWENHEIM THEOREM
FORSTER, TE
SMITH, BG
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 447 - 447
[2] The limits of logic: Higher-order logic and the Lowenheim-Skolem theorem - Shapiro,S
Williamson, T
HISTORY AND PHILOSOPHY OF LOGIC, 1996, 17 (03) : 175 - 176
[3] APPLICATIONS OF THE GENERALIZED SKOLEM-LOWENHEIM THEOREM TO PROBLEMS OF COMPLETENESS AND DECIDABILITY
VAUGHT, RL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (04) : 396 - 397
[4] The Lowenheim-Skolem theorem for Godel logic
Aguilera, J. P.
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (04)
[5] SETS OF EXPRESSIONS OF HIGHER-ORDER LOGIC, FOR WHICH THEOREM OF FINITENESS AND LOWENHEIM-SKOLEM THEOREM ARE APPLICABLE
WOLTER, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01): : 13 - &
[6] LOWENHEIM-SKOLEM AND TARSKI-VAUGHT THEOREMS IN HIGHER-ORDER LOGIC
WEAVER, G
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 708 - &
[7] A new Lowenheim-Skolem theorem
Foreman, M
Todorcevic, S
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (05) : 1693 - 1715
[8] GENERALIZATIONS OF LOWENHEIM SKOLEM TARSKI THEOREM
VAUGHT, RL
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 359 - &
[9] ON LOWENHEIM-SKOLEM-TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
Magidor, Menachem
Vaananen, Jouko
JOURNAL OF MATHEMATICAL LOGIC, 2011, 11 (01) : 87 - 113
[10] INTENDED MODELS AND LOWENHEIM-SKOLEM THEOREM
KLENK, V
JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (04) : 475 - 489

← 1 2 3 4 5 →