苏建宁 关于集可表示的正交补差分格。 （英语） Zbl 1456.06009号 订单 37，第3期，621-636（2020年）. 正交补差分格是一个类型为（（2,2,2,1,0,0）的代数（mathbf L=（L，\vee，\wedge，\Delta，{}'，0,1）），使得（（L，\ vee，\ weedge，{}'，0,1）是正交补格，并且满足以下恒等式：\（\ Delta\）是结合的，\（x\Delta1\approx1\Delta x\ approx'）和\（x\ Delta y\le x\vee y\）\如果存在一个集合\（X\）和\（2^X\）的子集\（\Omega。证明了集可表示正交补差分格的类不是局部有限的。如果一个正交模格同构于一个集合的子集集合，该集合具有通过集包含给出的偏序、通过集补给出的正交补以及通过不相交并给出的有限正交连接，则称其为具体格。如果（mathbf M）可以嵌入到正交模格（（L，vee，楔形，{}'，0,1））中，则称正交模格是OML可嵌入到（mathbf-L）中的。证明了并不是每个具体的正交模格都可以OML嵌入到正交补差分格中。评审员备注：在第一条参考文献中，“Länger，H.M.”应该是“Lánger，H.”。审核人：赫尔穆特·朗格（维也纳） 引用于4文件 MSC公司： 06第15页 补格、正交补格和偏序集 03G12号机组 量子逻辑 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 关键词：正交补差分格;正交补格;可显示的集合;局部有限的;正交模格;混凝土;OML可嵌入 PDF格式BibTeX公司 XML格式引用 \textit{J.Su}，第37号令，第3号，621--636（2020；Zbl 1456.06009） 全文： 内政部 参考文献： [1] 多佛，G。；Dvurečenskij，A。；Länger，HM，正交模格中的对称差，数学。斯洛伐克，46，435-444（1996）·兹伯利0890.00606 [2] Dorfer，G.，《正交模格中的非交换对称差》，国际期刊Theor。物理。，44, 885-896 (2005) ·Zbl 1119.06303号 ·doi:10.1007/s10773-005-7066-7 [3] Harding，J.，可数多生成元上的自由正交模格是三个生成元上自由正交模格子的子代数，《代数普遍》，48，171-182（2002）·Zbl 1061.06019号 ·doi:10.1007/PL00012448 [4] Harding，J.，《混凝土正交模格的评论》，国际期刊Theor。物理。，43, 2149-2168 (2004) ·Zbl 1073.06002号 ·doi:10.1023/B:IJTP.000049016.83846.72 [5] Kalmbach，G.，《正交模晶格》（1983），伦敦：学术出版社，伦敦·Zbl 0512.06011号 [6] Matoušek，M.，《具有对称差的正交补格》，《普遍代数》，第60期，第185-215页（2009年）·Zbl 1186.06004号 ·doi:10.1007/s00012-009-2105-5 [7] 马图舍克，M。；Pták，P.，具有对称差异的正交补偏序集，Order，26，1-21（2009）·Zbl 1201.06006号 ·doi:10.1007/s11083-008-9102-8 [8] 马图舍克，M。；Pták，P.，正交模格和Z2值态上的对称差，评论。数学。卡罗尔大学。，50, 4, 535-547 (2009) ·Zbl 1212.06021号 [9] 马图舍克，M。；Pták，P.，《关于正交补差分格中的恒等式》，Mathematica Slovaca，60，583-590（2010）·Zbl 1249.06025号 ·doi:10.2478/s12175-010-0033-7 [10] 马图舍克，M。；Pták，P.，《具有少量生成器的正交补差分格》，Kybernetica，47，60-73（2011）·Zbl 1221.06011号 [11] 帕克，E。；Kim，MM；Chung，JY，关于正交模格对称差的注记，Commun。韩国数学。Soc.，18207-214（2003年）·Zbl 1101.06301号 ·doi:10.413/CKMS.2003.18.207 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。