严格n-生成的Heyting代数的种类

摘要：每个$n<\omega$，我们构造一个无限的Heyting代数$H_n$，它是$(n+1)$-生成的，但只包含有限的$n$-生成的子代数。从此我们可以得出结论：对于每个$n<\omega$，存在一个包含无限个$(n+1)$-生成的Heyting代数的Heyting代数的变种，但它只包含有限个$n$-生成的Heyting代数。对于$n=2$的情况，这提供了G. Bezhanishvili和R. Grigolia在[3]中提出的问题的一个否定答案。

作者：Tapani Hyttinen, Davide Emilio Quadrellaro

论文ID：2306.12250

分类：Logic

分类简称：math.LO

提交时间：2023-06-22

PDF 下载： 英文版 中文版pdf翻译中