UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS

被引:1
作者
Casanovas, Enrique [1 ]
Shelah, Saharon [2 ,3 ]
机构
[1] Univ Barcelona, Dept Matemat & Informat, Gran Via 585, E-08007 Barcelona, Spain
[2] Hebrew Univ Jerusalem, Einstein Inst Math, Edmond J Safra Campus, IL-9190401 Jerusalem, Israel
[3] Rutgers State Univ, Dept Math, Hill Ctr Busch Campus,110 Frelinghuysen Rd, Piscataway, NJ 08854 USA
基金
欧洲研究理事会;
关键词
logic of countable cofinality; compactly expandable models; universal theories;
D O I
10.1017/jsl.2019.16
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.
引用
收藏
页码:1215 / 1223
页数:9
相关论文
共 4 条
[1]   COMPACTLY EXPANDABLE MODELS AND STABILITY [J].
CASANOVAS, E .
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (02) :673-683
[2]   A test for expandability [J].
Casanovas, E .
ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (04) :221-234
[3]  
MORLEY M., 1973, LOGIC METHODOLOGY PH, VIV, P57
[4]   GENERALIZED QUANTIFIERS AND COMPACT LOGIC [J].
SHELAH, S .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 204 (APR) :342-364