×

过滤和稳定布尔幂是相对化的完全布尔幂。 (英语) Zbl 0562.03016号

使用Feferman-Vaught-Theorem的相对化版本[H.沃尔格,公共数学。36, 1-11 (1976;Zbl 0361.02069号)]过滤和基于有限的稳定布尔幂是相对化的完全布尔幂J.H.施默尔【代数大学,8159-161(1978;Zbl 0426.03034号)]是广义的。例如,我们得到了有限A和有限群G的所有G稳定布尔幂理论的可判定性。
审核人:K.波托夫

MSC公司:

03C30号 其他模型构造
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] R.F.Arens和I。卡普兰斯基,代数的拓扑表示。阿默尔。数学。Soc.63(1948),457-481·doi:10.1090/S0002-9947-1948-0025453-6
[2] B.Banaschewski和E.Nelson,作为连续截面代数的布尔幂,Diss。《数学》179(1980),51页·Zbl 0439.08004号
[3] S.Burris,《布尔代数的一阶理论与一组独特的自同构》,《代数普遍性》15(1982),156-161·doi:10.1007/BF202483719
[4] S.Burris和J。Lawrence,使用修正布尔幂的两个不可判定性结果,Can。《数学杂志》34(1982),500-505·Zbl 0499.03029号 ·doi:10.4153/CJM-1982-033-6
[5] S.Burris和H。沃纳,剪切构造及其基本性质,Trans。阿默尔。数学。Soc.248(1979),269-309·Zbl 0411.03022号 ·doi:10.1090/S0002-9947-1979-0522263-8
[6] S.D.Comer,布尔空间上截面的代数表示,《太平洋数学杂志》38(1971),29-38·Zbl 0219.08002号
[7] S.D.Comer,截面结构的基本特性,Bol。社会数学。墨西哥(2)19(1974),78-85·Zbl 0338.02032号
[8] S.Feferman和R。L.Vaught,代数系统乘积的一阶性质,Fund。数学47(1959),57-103·Zbl 0088.24803号
[9] P.H.Krauss和D.M.Clark,《美国回忆录》全球分部产品。数学。Soc.210(1979),109页·Zbl 0421.08001号
[10] F.Miraglia,稳定连续函数结构与滤波幂之间的关系,载于:Proc。第三届巴西数学竞赛。《逻辑》,A.I.Arruda,A.M.Sette,N.C.A.da Costa编辑(1980),225-244·Zbl 0448.03027号
[11] J.H.Schmerl,On?过滤布尔扩展的0-分类,《代数普遍性》8(1978),159-161·兹伯利0426.03034 ·doi:10.1007/BF02485384
[12] H.Volger,重温费曼-沃特定理,Tagungsberich 4/1976,模型理论会议,1976年1月·Zbl 0361.02069号
[13] H.Volger,《重温费费曼-沃特定理》,《Colloq.Math.36》(1976年),第1-11页·Zbl 0361.02069号
[14] H.Volger,代数的Sheaf表示和模型理论性质的转移定理,Studien zur Algebra und ihre Anwendungen 7,Akademie Verlag,柏林,1979,155-163·Zbl 0429.03015号
[15] J.Waskiewicz,?0-广义乘积的范畴,Colloq.Math.27(1973),1-5。
[16] H.Werner,判别代数,Studien zur Algebra und ihre Anwendungen 6,Akademie Verlag,柏林,1978。
[17] V.Weispfenning,晶格产物模型理论,海德堡大学,1978年·Zbl 0718.03029号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。