摘要
讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F是R0代数的极大布尔滤子时,M/F是只有两个元的布尔代数.
Filters and provable equivalence classes were discussed in R0 algebras M.With some special examples of filters,it proves that F is an ultra-filter of R0 algebras M if and only if F is an obstinate filter;if F is an implicative filter of M,then M/F is a Boolean algebra;if F is a maximal Boolean filter of M,then M/F is a Boolean algebra with two elements.
出处
《中国计量学院学报》
2010年第2期171-173,182,共4页
Journal of China Jiliang University
关键词
R0代数
滤子
可证等价类
R0 algebras
filters
provable equivalence classes
