On Lα,ω complete extensions of complete theories of Boolean algebras

被引:0
|
作者
Matatyahu Rubin
机构
[1] Ben Gurion University,Department of Mathematics
来源
关键词
Tarski’s invariants;
D O I
暂无
中图分类号
学科分类号
摘要
For a complete first order theory of Boolean algebras T which has [inline-graphic not available: see fulltext] nonisomorphic countable models, we determine the first limit ordinal α = α(T) such that [inline-graphic not available: see fulltext] We show that for some [inline-graphic not available: see fulltext] and for all other T‘s, [inline-graphic not available: see fulltext] A nonprincipal ideal I of B is almost principal, if [inline-graphic not available: see fulltext]a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has [inline-graphic not available: see fulltext] complete extensions and characterize them by invariants similar to the Tarski’s invariants.
引用
收藏
页码:571 / 582
页数:11
相关论文
共 50 条