| 格蕴涵代数的超滤 |
| |
| 引用本文： | 秦克云,徐扬.格蕴涵代数的超滤[J].西南交通大学学报,1999,34(1):51-54. |
| |
| 作者姓名： | 秦克云 徐扬 |
| |
| 作者单位： | 西南交通大学 |
| |
| 摘 要： | 通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。
|
| 关 键 词： | 超滤 格 滤子 格蕴涵代数 蕴涵代数 |
On Ultrafilters of Lattice Implication Algebras |
| |
| Qin Keyun,Xu Yang.On Ultrafilters of Lattice Implication Algebras[J].Journal of Southwest Jiaotong University,1999,34(1):51-54. |
| |
| Authors: | Qin Keyun Xu Yang |
| |
| 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. |
| |
| Keywords: | ultrafilter lattices filters lattice implication algebras |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
