×

关系代数:点的概念和可表示性。 (英语) Zbl 0575.03040号

在Chin和Tarski的关系代数公理化中,某些元素被称为右理想。针对图和程序关系理论中的应用,我们将这种理想称为“点”,并研究一个附加的点公理。首先我们证明了一个点插入定理。然后,利用内在关系方法推导了这种关系代数的一个表示定理,简化了Jónsson、Maddux和Tarski对类似结果的证明。插入了一些历史注释,并添加了扩展书目。

MSC公司:

03G15年 柱代数和多代数;关系代数
06B15号 格的表示理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] de Bakker,J.W。;de Roever,W.P.,递归程序方案的微积分,(Nivat,M.,《自动机,语言与编程》(1973),北荷兰:北荷兰阿姆斯特丹),167-196·Zbl 0238.68006号
[2] Bednarek,A.R。;Ulam,S.M.,关系代数的生成器,布尔。阿默尔。数学。Soc.,82,781-782(1976)·Zbl 0342.02044号
[3] Bednarek,A.R。;Ulam,S.M.,《关于计算理论和实践中关系合成的一些评论》,(Karpiñski,M.,计算理论基础。计算理论基础,计算机科学课堂讲稿,56(1977),施普林格:施普林格-柏林),22-32·Zbl 0367.08012号
[4] Bednarek,A.R。;Ulam,S.M.,射影代数和关系演算,J.符号逻辑,43,56-64(1978)·Zbl 0388.03026号
[5] Bernays,P.,U ber eine natürliche Erweiterung des Relationenkalküls,(Heyting,A.,《数学中的建构性》(1959),北荷兰:北荷兰阿姆斯特丹),1-14·Zbl 0087.0902号
[6] Birkhoff,G.,《晶格理论》(1967),Amer。数学。Soc:美国。数学。Soc普罗维登斯,RI·Zbl 0126.03801号
[7] Brink,C.,《亲属代数》,圣母院J.形式逻辑,20900-908(1979)·Zbl 0394.04002号
[8] Brink,C.,关系代数的两个公理系统,Notre-Dame J.形式逻辑,20909-914(1979)·Zbl 0394.03059号
[9] Chin,L.H。;Tarski,A.,关于射影代数的评论,布尔。阿默尔。数学。Soc.,54,80-81(1948),(摘要90)
[10] Chin,L.H。;Tarski,A.,关系代数算术中的分配和模律,加利福尼亚大学出版社。数学。,1, 341-384 (1951)
[11] Copilowish,I.M.,关系演算的矩阵发展,J.符号逻辑,13193-203(1948)·Zbl 0035.00503号
[12] 埃弗雷特,C.J。;Ulam,S.,射影代数I,Amer。数学杂志。,68, 77-88 (1946) ·兹比尔0060.06307
[13] Gericke,H.,《Verbände理论》(1963年),曼海姆书目研究所·兹伯利0124.25503
[14] Give'on,Y.,格矩阵,Inform。和控制,7477-484(1952)·Zbl 0154.01103号
[15] Harary,F.,《关于完全原子固有关系代数》,J.符号逻辑,第15期,197-198(1950)·Zbl 0037.29401号
[16] 亨金,L。;Monk,J.D。;塔斯基,A。;安德雷卡,H。;Németi,I.,圆柱集代数(数学讲义,883(1981),施普林格:施普林格-柏林)·Zbl 0497.03025号
[17] Howorka,E.,关系代数的生成器,Notices Amer。数学。Soc.,24,A-4-A-5(1977年)
[18] 亨廷顿,E.V.,《逻辑代数的新独立假设集》,特别参考怀特黑德和拉塞尔的数学原理,Trans。阿默尔。数学。《社会学杂志》,35,557-558(1933)·JFM 59.0051.01号
[19] Jónsson,B.,模格和关系代数的表示,Trans。阿默尔。数学。《社会学杂志》,92,449-464(1959)·Zbl 0105.25302号
[20] Jónsson,B。;Tarski,A.,带算子的布尔代数,Amer。数学杂志。,74、127-162(1952),第二部分·Zbl 0045.31601号
[21] Jónsson,B.,关系结构的扩展,(Addison,J.W.;Henkin,L.;Tarski,A.,《模型理论》(1970),北荷兰:北荷兰阿姆斯特丹),146-157·Zbl 0158.26301号
[22] Kalicki,J。;Scott,D.,抽象代数的方程完备性,Indag。数学。,17, 650-659 (1955) ·Zbl 0073.24501号
[23] Kamel,H.,关系代数和一致空间,J.伦敦数学。《社会学杂志》,29,342-344(1954)·Zbl 0059.01502号
[24] Lorenzen,P.,《数学》,Korrespondenzen einer Struktur。Z.,60,61-65(1954)·Zbl 0055.02302号
[25] Löwenheim,L.,Über Möglichkeiten im RelativkalküL,数学。安,76447-470(1915年)·传真:44.0078.01
[26] Luce,R.D.,《布尔矩阵理论注释》,(Proc.Amer.Math.Soc.,3(1952)),382-388·Zbl 0048.02302号
[27] Lyndon,R.C.,《关系代数的表示》,《数学年鉴》。(2), 51, 707-729 (1950) ·Zbl 0037.29302号
[28] 林登,R.C.,关系代数的表示,II,数学年鉴。(2), 63, 294-307 (1956) ·Zbl 0070.24601号
[29] Lyndon,R.C.,关系代数和射影几何,密歇根数学。J.,8,21-28(1961年)·Zbl 0105.25303号
[30] Maddux,R.,关系代数可表示的一些充分条件,代数普遍性,8162-172(1978)·Zbl 0386.03033号
[31] Maddux,R.,《将模格嵌入关系代数》,《代数普遍》,第12期,第242-246页(1981年)·Zbl 0415.06010号
[32] Maddux,R。;Tarski,A.,关系代数可表示的一个充分条件,Notices Amer。数学。Soc.,23,A-477(1976)
[33] McKenzie,R.,积分关系代数的表示,密歇根数学。J.,17,279-287(1970)·Zbl 0191.01102号
[34] 麦肯锡,J.C.C.,二元关系演算的假设,J.符号逻辑,585-97(1940)·Zbl 0024.00201号
[35] 麦肯锡,J.C.C.,《关于射影代数的表示》,Amer。数学杂志。,70, 375-384 (1948) ·Zbl 0035.01801号
[36] Michael,E.,《皮尔士关于布尔逻辑代数的注记》,《圣母院J.形式逻辑》,20636-638(1979)·Zbl 0415.03001号
[37] Monk,J.D.,关系代数和柱代数,Notices Amer。数学。《社会学杂志》,8358(1961)
[38] Monk,J.D.,《关于可表示关系代数》,密歇根数学。J.,第11期,207-210页(1964年)·Zbl 0137.00603号
[39] Monk,J.D.,带算子的布尔代数完备性,数学。全国生理残障咨询委员会。,46, 47-55 (1970) ·Zbl 0182.32301号
[40] 小野,K.,关于二元关系的一些性质,名古屋数学。J.,12161-170(1957年)·兹比尔0079.07702
[41] Ribeiro,H.,关于带算子的布尔代数的评论,Amer。数学杂志。,74, 163-167 (1952) ·Zbl 0045.31602号
[42] Riguet,J.,《双星关系、费米数、伽罗瓦通讯》,公牛。社会数学。法国,76114-155(1948)·Zbl 0033.00603号
[43] Riguet,J.,《计算关系二进制的扩展》,C.R.Acade。科学。巴黎。A-B,2382382-2385(1954)·Zbl 0056.02805号
[44] Schein,B.M.,关系代数,布尔。阿卡德。波隆。科学。Sér。科学。数学。天文学。物理。,13, 1-5 (1965) ·Zbl 0151.00701号
[45] Schmidt,G.,《作为部分图的程序I:流等价性和正确性》,Theoret。计算。科学。,15, 1-25 (1981) ·Zbl 0493.68015号
[46] G.Schmidt和T.Ströhlein,Relationen,Graphen und Programme,正在编制中。;G.Schmidt和T.Ströhlein,Relationen,Graphen und Programme,正在编制中。
[47] 施密特,G。;Ströhlein,T.,时间表构建中的布尔矩阵迭代,线性代数应用。,15, 27-51 (1976) ·Zbl 0358.94049号
[48] 施密特,G。;Ströhlein,T.,二部图中的核,(Schneider,H.J.;Göttler,H.,Proc.8th Conf.on Graphtheologic Concepts in Computer Science(WG 82)(1982),Hanser:Hanser München),251-256·Zbl 0581.05026号
[49] Schönfeld,W.,关系代数的不可判定性结果,J.符号逻辑,44111-115(1979)·Zbl 0407.03019号
[50] Schröder,E.(逻辑代数,3。乐队(1895年),Teubner:Teubner Leipzig
[51] Sobocinnski,B.,布尔代数和其他一些格理论的等式双公理基,《圣母院J.形式逻辑》,20865-875(1979)·Zbl 0437.06001号
[52] Stone,M.H.,布尔代数表示理论,Trans。阿默尔。数学。《社会学杂志》,40,37-111(1936)·Zbl 0014.34002号
[53] 塔斯基,A.,《关系演算》,J.符号逻辑,673-89(1941)·联合表格67.0973.02
[54] Tarski,A.,关于关系演算的一些金属学结果,符号逻辑,188-189(1953)
[55] Tarski,A.,对模型理论的贡献。三、 印度。数学。,17, 56-64 (1955)
[56] Tarski,A.,等式完备环和关系代数,Indag。数学。,18, 39-41 (1956) ·Zbl 0073.24603号
[57] Veloso,P.A.S.,关系代数表示理论中错误的历史,J.符号逻辑,44466(1979)·Zbl 0411.68067号
[58] 维纳,N.,《关系逻辑的简化》(van Heijenoort,J.,From Frege to Gödel(1967),哈佛大学出版社:哈佛大学出版社,马萨诸塞州剑桥),224-227·JFM 50.0335.02标准
[59] Wooyenaka,Y.,关于关系代数的假设集,注意Amer。数学。《社会学杂志》,第6534-535页(1959年)
[60] Wostner,U.,有限关系代数,Notices Amer。数学。Soc.,23,A-482(1976年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。