格蕴涵代数的超滤*
On Ultrafilters of Lattice Implication Algebras
-
摘要: 通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤 的概念,研究了它与素滤子及有限交性的关系,并证明了它与极大真滤子的等价性,为进一步研究 相应的超积理论打下了基础。Abstract: In model theories, constructing ultraproducts by ultrafilter is an important method for model construction. In this paper, the concept of ultrafilter of lattice implication algebras is proposed. The relationship between ultrafilters and prime filters, and the one between ultrafilters and finite intersection properties are discussed. The equivalence between ultrafilter and maximal proper filter is proved. It provides a foundation for studying the corresponding ultraproduct theory.
-
Key words:
- ultrafilter /
- lattices /
- filters /
- lattice implication algebras
点击查看大图
计量
- 文章访问数: 1197
- HTML全文浏览量: 81
- PDF下载量: 116
- 被引次数: 0