摘要
通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。
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.
出处
《西南交通大学学报》
EI
CSCD
北大核心
1999年第1期51-54,共4页
Journal of Southwest Jiaotong University
基金
国家自然科学基金
关键词
超滤
格
滤子
格蕴涵代数
蕴涵代数
ultrafilter
lattices
filters
lattice implication algebras
