×

固有的非有限基格。 (英语) Zbl 1015.03037号

作者构造了格(L),使得由(L)生成的簇是局部有限的(=有限生成的代数是有限的),但(L)不属于可由有限多个方程公理化的局部有限簇。

MSC公司:

03C05号机组 模型理论中的方程类、泛代数
06B20号 格子的种类
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Baker,K.,模格的等式类,太平洋数学杂志。,28, 9-15 (1969) ·Zbl 0174.29802号
[2] 贝克,K。;McNulty,G。;Werner,H.,固有非有限基代数变体的Shift自同构方法,捷克斯洛伐克J.数学。,39, 53-69 (1989) ·Zbl 0677.08005号
[3] Baker,K.A.,同余分配簇中有限代数的有限方程基,高等数学。,24, 207-243 (1977) ·Zbl 0356.08006号
[4] K.A.Baker,《格的一些非有限基变种》,《泛代数》,北荷兰,阿姆斯特丹,1982年,Colloq.Math。János Bolyai,第29卷,第53-59页。;K.A.Baker,《一些基于非有限元的格变体》,《通用代数》,荷兰北部,阿姆斯特丹,1982年,Colloq.Math。János Bolyai,第29卷,第53-59页·Zbl 0481.06008号
[5] Birkhoff,G.,《关于抽象代数的结构》,Proc。剑桥菲洛斯。《社会学杂志》,第31期,第433-454页(1935年)·Zbl 0013.00105号
[6] Bryant,R.,《有限点群定律》,公牛。伦敦数学。《社会学杂志》,第14期,第119-123页(1982年)·Zbl 0451.08006号
[7] Burris,S。;Sankappanavar,H.,通用代数课程(1981),施普林格:施普林格纽约·Zbl 0478.08001号
[8] 克劳利,P。;Dilworth,R.,《格代数理论》(1973),普伦蒂斯·霍尔:普伦蒂斯·霍尔-恩格尔伍德悬崖,新泽西州·Zbl 0494.06001号
[9] 戴维,B。;Priestley,H.,《格与序导论》(1989),剑桥大学出版社:剑桥大学出版社
[10] Day,A.,《格理论中的双重结构》,加拿大。数学杂志。,44, 252-269 (1992) ·Zbl 0768.06006号
[11] Freese,R.,宽度为四的模块化晶格的结构及其在各种晶格中的应用,回忆录Amer。数学。《社会学杂志》,181(1977)·Zbl 0358.06022号
[12] R.Freese、J.Jeíek、J.B.Nation、Free Lattices、Amer。数学。Soc.,普罗维登斯,数学调查和专著,第42卷,1995年。;R.Freese、J.Jeíek、J.B.Nation、Free Lattices、Amer。数学。Soc.,Providence,数学调查和专著,第42卷,1995年·Zbl 0839.06005号
[13] Geyer,W.,《广义双重结构与形式概念分析》,《代数普遍》,32,341-367(1994)·Zbl 0829.06007号
[14] Grätzer,G.,《一般格理论》(1978),学术出版社:纽约学术出版社·Zbl 0385.06015号
[15] G.Grätzer,《通用代数》,施普林格出版社,纽约,第二版,1979年。;G.Grätzer,《通用代数》,施普林格出版社,纽约,第二版,1979年·Zbl 0412.08001号
[16] Gurević,R.,带指数的正自然数方程理论不是有限公理化的,Ann.Pure Appl。逻辑,49,1-30(1990)·兹伯利0707.03023
[17] Herrmann,C.,格类的弱(射影)半径和有限方程基,代数普遍性,351-58(1973)·Zbl 0288.06008号
[18] Herrmann,C.,关于射影坐标系的算法,Trans。阿默尔。数学。Soc.,284759-785(1984)·Zbl 0544.06008号
[19] Isaev,I.M.,《基本上无限基代数变体》,Sib。Mat.Zhurnal,30,75-77(1989)·Zbl 0708.17001号
[20] O.G.哈兰波维奇。;Sapir,M.V.,《各种算法问题》,《国际代数计算杂志》。,5, 379-602 (1995) ·Zbl 0837.08002号
[21] Kruse,R.,有限环上的恒等式,J.代数,26298-318(1973)·Zbl 0276.16014号
[22] I.V.L'vov,结合环的种类,代数I Logika 12(1973)269-297;667-688.; I.V.L'vov,结合环的种类,《Logika代数》12(1973)269-297;667-688.
[23] Lyndon,R.,二值计算中的恒等式,Trans。阿默尔。数学。《社会学杂志》,71,457-465(1951)·Zbl 0044.00201
[24] Lyndon,R.,有限代数中的恒等式,Proc。阿默尔。数学。《社会学杂志》,第5期,第8-9期(1954年)·Zbl 0055.02705号
[25] C.Martin,自然数和超有限序数的赤道理论,加州大学伯克利分校博士论文,1973年。;C.Martin,《自然数和超有限序数的等式理论》,加州大学伯克利分校博士论文,1973年。
[26] McKenzie,R.,格理论的方程基础,数学。扫描。,27, 24-38 (1970) ·Zbl 0307.08001号
[27] McKenzie,R。;McNulty,G。;Taylor,W.,《代数、格、多样性》,第1卷(1987年),Wadsworth&Brooks/Cole:Wadsworth&Brooks/Cole Monterey,CA·Zbl 0611.08001号
[28] McKenzie,R.N.,同余模代数的有限方程基,代数。Universalis,24,224-250(1987)·Zbl 0648.08006号
[29] McKenzie,R.N.,Tarski的有限基问题是不可判定的,《国际代数计算》。,第6页,第49-104页(1996年)·Zbl 0844.08011号
[30] G.McNulty,《如何构造非有限基的有限代数》,载于:S.Comer(Ed.),《通用代数和格理论》,Springer,纽约,1985年,数学讲义,第1149卷,第167-174页。;G.McNulty,《如何构造非有限基的有限代数》,载于:S.Comer(Ed.),《通用代数和格理论》,Springer,纽约,1985年,数学讲义,第1149卷,第167-174页·Zbl 0575.08005号
[31] Murskǐ,V.L.,关于具有一个无有限恒等式基的二元运算的(k)元代数的个数,Problemy Kibernet,35,5-27(1979),(俄语)·Zbl 0464.08002号
[32] Nation,J.B.,有限高度猜想的反例,Order,13,1-9(1996)·Zbl 0861.06004号
[33] J.B.Nation,晶格理论注释,即将出版。;J.B.Nation,点阵理论注释,即将出版。
[34] 奥茨,S。;鲍威尔,M.B.,有限群中的恒等关系,J.代数,1,11-39(1965)·Zbl 0121.27202号
[35] Ol’shanskǐ,A.Yu。,群中恒等式的有限基问题,Izv。阿卡德。Nauk SSSR序列。材料,34,376-384(1970)·Zbl 0215.10504号
[36] Perkins,P.,《半群方程理论的基础》,J.代数,11,293-314(1968)·Zbl 0186.03401号
[37] Perkins,P.,《一般代数的基础问题》,《代数普遍性》,19,16-23(1984)·Zbl 0545.08008号
[38] Polin,S.V.,关于有限代数的恒等式,Sib。《材料杂志》,第17期,1365-1366页(1976年)·Zbl 0353.17003号
[39] E.Post,《数理逻辑的二值迭代系统》,《数学年鉴》。研究(5)(1941)。;E.波斯特,《数学逻辑的双值迭代系统》,《数学年鉴》。研究(5)(1941)·Zbl 0063.06326号
[40] Sapir,M.,Burnside型问题和各种半群的有限基性质,Izv。阿卡德。Nauk SSSR序列。材料,51,319-340(1987)
[41] Willard,R.,Tarski的有限基问题通过(A(T)),Trans。阿默尔。数学。《社会学杂志》,3492755-2774(1997)·Zbl 0870.03010号
[42] Willard,R.,剩余有限同余满足半分布簇的有限基定理,J.符号逻辑,65187-200(2000)·Zbl 0973.08004号
[43] Wille,R.,格的本原子集,《普遍代数》,295-98(1972)·兹比尔0269.06001
[44] Zel'manov,E.I.,《关于周期群Burnside问题中的附加定律》,《国际代数计算》。,3, 583-600 (1993) ·Zbl 0819.20042号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。