Filtral powers of structures

被引:2
作者
Ouwehand, P [1 ]
Rose, H [1 ]
机构
[1] Univ Cape Town, Dept Math & Appl Math, ZA-7700 Rondebosch, South Africa
关键词
D O I
10.2307/2586649
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Among the results of this paper are the following: 1. Every Boolean (ultra)power is the union of an updirected elementary family of direct ultrapowers. 2. Under certain conditions, a finitely iterated Boolean ultrapower is isomorphic to a single Boolean ultrapower. 3. A omega-bounded filtral power is an elementary substructure of a filtral power. 4. Let K be an elementary class closed under updirected unions (e.g., if K is an amalgamation class); then K is closed under finite products if and only if K is closed under reduced products if and only if K is a Horn class.
引用
收藏
页码:1239 / 1254
页数:16
相关论文
共 15 条
[1]  
ASH CJ, 1975, J LOND MATH SOC, V9, P429
[2]  
BANASCHEWSKI B, 1980, DISS MATH, V179
[3]  
BANASCHEWSKI B, 1975, C MATH SOC J BOLYAL, P21
[4]  
BERGMAN C, 1983, LECT NOTES MATH, V1004, P1
[5]   AMALGAMATION CLASSES OF SOME DISTRIBUTIVE VARIETIES [J].
BERGMAN, C .
ALGEBRA UNIVERSALIS, 1985, 20 (02) :143-166
[6]   AMALGAMATION IN THE PENTAGON VARIETY [J].
BRUYNS, P ;
NATURMAN, C ;
ROSE, H .
ALGEBRA UNIVERSALIS, 1992, 29 (03) :303-322
[7]  
BURRIS S, 1983, LECT NOTES MATH, V1004, P67
[8]  
Burris S., 1975, Algebra Univers., V5, P341
[9]  
CHANG CC, 1978, STUDIES LOGIC FDN MA, V73
[10]  
Hodges W., 1993, MODEL THEORY, V42