UPWARD UNIFORM LOWENHEIM-SKOLEM THEOREM - A GENERALIZATION OF A THEOREM BY MORLEY

被引：0

|

作者：

DICKMANN, MA

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1969年 / 34卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：534 / &

相关论文

共 50 条

[31] Upward Morley's theorem downward
Sagi, Gabor
Gyenis, Zalan
MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (4-5) : 303 - 331
[32] SUPER COMPACTS AND SKOLEM-LOWENHEIM THEOREM FOR HIGHER ORDER LOGIC
MAGIDOR, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (01): : 259 - &
[33] 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
[34] GENERALIZATION OF THE SKOLEM-MAHLER-LECH THEOREM
BEZIVIN, JP
QUARTERLY JOURNAL OF MATHEMATICS, 1989, 40 (158): : 133 - 138
[35] CATS, THE DOWNWARD LOWENHEIM-SKOLEM-TARSKI THEOREM AND THE DISJOINT AMALGAMATION PROPERTY
Zambrano Ramirez, Pedro Hernan
BOLETIN DE MATEMATICAS, 2005, 12 (01): : 19 - 28
[36] COMPACTNESS, THE LOWENHEIM-SKOLEM PROPERTY AND THE DIRECT-PRODUCT OF LATTICES OF TRUTH VALUES
YING, MS
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (5-6): : 521 - 524
[37] A TOPOLOGICAL PROOF OF LOWENHEIM-SKOLEM COMPACTNESS AND STRONG COMPLETENESS THEOREMS FOR FREE LOGIC
VANFRAASSEN, BC
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (03): : 245 - +
[38] LOWENHEIM-SKOLEM AND TARSKI-VAUGHT THEOREMS IN HIGHER-ORDER LOGIC
WEAVER, G
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 708 - &
[39] Strong downward Lowenheim-Skolem theorems for stationary logics, II: reflection down to the continuum
Fuchino, Sakae
Ottenbreit Maschio Rodrigues, Andre
Sakai, Hiroshi
ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (3-4) : 495 - 523
[40] ULTRAPRODUCTS OF M-VALUED MODELS AND A GENERALIZATION OF LOWENHEIM-SKOLEM-GODEL-MALCEV THEOREM FOR THEORIES BASED ON M-VALUED LOGICS
RASIOWA, H
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 415 - &

← 1 2 3 4 5 →