A DOWNWARD LOWENHEIM-SKOLEM THEOREM FOR INFINITARY THEORIES WHICH HAVE THE UNSUPERSTABILITY PROPERTY

被引：1

|

作者：

GROSSBERG, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1988年 / 53卷 / 01期

关键词：

D O I：

10.2307/2274441

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：231 / 242

页数：12

相关论文

共 23 条

[1] UNIFORM EXTENSIONS OF DOWNWARD LOWENHEIM-SKOLEM THEOREM
DICKMANN, MA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 533 - &
[2] Downward Lowenheim-Skolem Theorem and interpolation in logics with constructors
Gaina, Daniel
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (06) : 1717 - 1752
[3] On Paraconsistent Downward Lowenheim-Skolem Theorems
Weber, Zach
LOGICA YEARBOOK 2015, 2016, : 213 - 221
[4] LOWENHEIM-SKOLEM AND INTERPOLATION THEOREMS IN INFINITARY LANGUAGES
KUEKER, DW
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 78 (02) : 211 - &
[5] A new Lowenheim-Skolem theorem
Foreman, M
Todorcevic, S
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (05) : 1693 - 1715
[6] INTENDED MODELS AND LOWENHEIM-SKOLEM THEOREM
KLENK, V
JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (04) : 475 - 489
[7] The Lowenheim-Skolem theorem for Godel logic
Aguilera, J. P.
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (04)
[8] EXTENSIONS OF LOWENHEIM-SKOLEM THEOREM IN INFINITE LOGICS
PABION, JF
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (17): : 925 - &
[9] Strong downward Lowenheim-Skolem theorems for stationary logics, I
Fuchino, Sakae
Rodrigues, Andre Ottenbreit Maschio
Sakai, Hiroshi
ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (1-2) : 17 - 47
[10] UPWARD UNIFORM LOWENHEIM-SKOLEM THEOREM - A GENERALIZATION OF A THEOREM BY MORLEY
DICKMANN, MA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 534 - &