×
古拉姆·贝扎尼什维利

禁止的配置和子帧种类。 （英语） Zbl 1412.06012号

代数大学。 76，第2期，237-243（2016）.
有限偏序集（P）是Priestley空间（X）中的禁止配置，如果（P）不同构于\（X）的子集合（在符号中，\（Pnot\hookrightarrow X\））；和\（\mathcal{H}（P）\）表示集合\（\ mathsf{Heyt}\；：\；P\ not\hookrightarrowA_*\}\）
如果（P）是有限根偏序集，则（mathcal{S}（P））表示一类Heyting代数，使得（P）不是（B）的对偶（B_*）的子帧的连续有界映象。类\（\mathcal｛S｝（P）\）形成一个变种。这种变体及其交集称为子帧变体。
证明了如果（P）是有限树，则（mathcal{H}（P）=mathcal}S}（P））。此外，（mathcal{H}（P））是一个变种，并且（mathcal{H}（P）的方程理论是可判定的。此外，对于有限根偏序集（P），类（mathcal{H}（P））是一个变种，如果（P）是树（comp）[R.N.球等人，应用。类别。结构。第15卷，第5-6期，第457-472页（2007年；Zbl 1134.06011号)]).
审核人：亚历克斯·西特金（沃伦）

理学硕士：

06D20日 Heyting代数（格理论方面）
2015年6月 石头空间（布尔空间）和相关结构
03B55号 中间逻辑
08B05号 等式逻辑，Mal'tsev条件

关键词：

海廷代数;普里斯特利空间;树;子帧逻辑;扬科夫公式

引文：

Zbl 1134.06011号
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}，代数大学。76、2号、237--243（2016；Zbl 1412.06012）
全文： 内政部

参考文献：

[1] Ball R.，Pultr A.：加利福尼亚州普里斯特利空间的禁林。白杨。盖姆。差异。猫。45, 2-22 (2004) ·Zbl 1062.06020号
[2] Ball R.，Pultr A.，Sichler J.：Priestley空间副积的构型，应用。类别。结构13，121-130（2005）·Zbl 1086.06012号 ·doi:10.1007/s10485-004-3884-7
[3] Ball R.，Pultr A.，Sichler J.：普里斯特利空间中的组合树，评论。数学。卡罗琳大学。46, 217-234 (2005) ·Zbl 1121.06003号
[4] Ball R.、Pultr A.和Sichler J.：关于Priestley空间中的配置和一些新问题的更多信息，应用。类别。结构15，457-472（2007）·Zbl 1134.06011号 ·doi:10.1007/s10485-006-9037-4
[5] Ball R.，Pultr A.，Sichler J.：Priestley空间的余积中自由和的Tame部分，拓扑应用。156, 2137-2147 (2009) ·Zbl 1185.06008号 ·doi:10.1016/j.topol.2009.03.037
[6] Ball R.，Pultr A.，Sichler J.：普里斯特利空间的有限收缩与截面余积，《代数普遍性》64，339-348（2010）·Zbl 1229.06002号 ·doi:10.1007/s00012-011-0106-7
[7] Bezhanishvili G.，Bezhanisvili N.：规范公式的代数方法：直觉主义案例，Rev.Symb。日志。2, 517-549 (2009) ·Zbl 1183.03065号 ·文件编号：10.1017/S1755020309990177
[8] Bezhanishvili G.，Ghilardi S.：子框架逻辑的代数方法：直觉主义案例，Ann.Pure Appl。逻辑147、84-100（2007）·Zbl 1123.03055号 ·doi:10.1016/j.apal.2007.04001
[9] De Jongh，D.：直觉命题演算研究，威斯康星大学博士论文（1968年）·Zbl 1123.03055号
[10] Esakia L.：拓扑克里普克模型，苏联数学。多克。15, 147-151 (1974) ·Zbl 0296.02030号
[11] 精细K.：包含K4的逻辑。II、 符号逻辑50，619-651（1985）·Zbl 0574.03008号 ·doi:10.2307/2274318
[12] Jankov，V.：关于直觉命题演算中的可演绎性与有限蕴涵结构之间的关系，Dokl。阿卡德。Nauk SSSR 151，1293-1294（1963）（俄语）·Zbl 0201.01802号
[13] 扬科夫V.：强独立超直觉命题演算序列的构造，苏联数学。多克。9, 806-807 (1968) ·Zbl 0198.31803号
[14] Priestley H.A.：用有序Stone空间表示分配格，Bull。伦敦数学。Soc.2186-190（1970）·Zbl 0201.01802号 ·doi:10.1112/blms/2.2.186
[15] Priestley H.A.：有序拓扑空间和分配格的表示，Proc。伦敦数学。Soc.24507-530（1972）·Zbl 0323.06011号 ·doi:10.1112/plms/s3-24.3.507
[16] Zakharyaschev M.：超直觉逻辑的语法和语义，代数和逻辑28，262-282（1989）·Zbl 0708.03011号 ·doi:10.1007/BF01982017
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。