1) ultra MP-filter
超MP滤子
1.
The relations between prime filter and maximum MP-filter are studied, an equivalent condition for a MP-filter to be ultra MP-filter is obtained, and a mistake result about ultra MP-filter is pointed out.
通过反例指出了关于超MP滤子的一个错误结论,给出超MP滤子的一个充分必要条件。
2) MP filter
MP滤子
1.
The MP Filter Lattices of R_0 Algebras;
R_0代数上的MP滤子格
2.
In this paper,MP filters in some kinds of n-valued logic systems are obtained,which are n-valued Lukasiewicz logic system,n-valued Gdel logic sysetem G_n,n-valued product logic system P_n,n-valued standard sequence logic system S_n,and n-valued L~* logic system Wn.
给出了n值Lukasiewicz逻辑系统Ln,n值G del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。
3.
The properties of MTL algebra are discussed,and the concept MP filters,prime MP filters,and Boolean filters are introduced into the MTL algebra.
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及a的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数。
3) prime MP filter
素MP滤子
1.
The properties of MTL algebra are discussed,and the concept MP filters,prime MP filters,and Boolean filters are introduced into the MTL algebra.
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及a的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数。
4) proper MP filter
真MP滤子
5) MP-filter
MP-滤子
1.
Firstly the concepts of MP-filters and prime filter in NML algebras are introduced,and then topological structure of the set of all prime filters of NML algebras are discussed.
首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。
2.
The concepts of MP-filters (MP-ideal) and Boolean MP-filters (ideals) in NML algebras are introduced in this paper,and by using MP-filters,the structure of NML algebras are establi.
讨论了NML代数的性质,并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念,并利用布尔MP-滤子建立了NML代数的结构:若F是布尔滤子,则M/～_F是布尔代数,即NML代数的商代数是布尔代数。
6) MP-filter
MP滤子
1.
Characterizations of MP-filters of (regular) FI-algebra;
FI代数中MP滤子的等价刻画
2.
MP-filters of Fuzzy Implication Algebras
Fuzzy蕴涵代数的MP滤子
3.
An example was given,it show that all the Boolean element of R-algebra generally can t form MP-filter.
并给出一个反例说明:R0代数的所有布尔元一般不能构成MP滤子。
补充资料：超滤子
超滤子
ultrafllter
超滤子〔吐r川.ter:”‘lp呻。二‘Tp」 在下述意义下的一个极大滤子(欣er):包含该滤子的所有滤子都与它相同.超滤子可以用满足如下三条的子集系定义:l)不包括空集;2)集系中两个子集之交仍属于它;3)任何子集，或者其自身，或者其补集属于该集系. 所有超滤子被分成两类:平凡超滤子(或固定超滤子，或主超滤子)及自由超滤子.超滤子称为平凡(trl访al)或主(pnnciPal)超滤子，如果它是包含给定点的所有子集组成的集系;这样的超滤子也称为固定于该点的超滤子.超滤子称为自由(斤ce)超滤子，如果它的所有元素之交为空集，换言之，它在任何点都不是固定的.自由超滤子的存在性，不利用选择公理(~m of choice)就无法证明. 对任何滤子都存在一个包含它的超滤子;进而，任何滤子恰为包含它的所有超滤子的交.【补注】在一般拓扑学和数理逻辑中，超滤子是重要的理论部分.对于拓扑学家，它们乃是自由紧空间的元素，即离散空间D的st。一亡eeh紧化(stone一趋e-eh compaet诉eation)刀D的元素.刀D是生成元的集合D上的白由紧Hausdorff空间，就象是生成元的集合上的一个自山群;它的特征是，从集合D到紧Hau-sdorff空问X的任何映射f，可唯一扩张成连续映射刀/:刀D卜X. 鉴于自由超滤子很难描述，考察将N的每个子集A对应于区伯l[o，z]中一个数x，=艺。。，2一的映射，若“是N中自由超滤子，则集合{x月:A任u}是不可测的. 对于逻辑学家，超滤子乃是在它上面构成超积(ult几preducts)的加标结构.在模型论中一些简单而重要的存在性结论，都是用颇为一致的方法证明的:为了建立语句S的无穷集上的模型，对S的任意大有限子集建立模型(这种可能性常常容易证明)，并取它们的任意超积.为了更好地控制构造，可以使用加限制的超滤子，例如，好超滤子(g以对ultlafi】ters)或一致超滤子(uniform ultrafilters)，见【All. 关于不用自由超滤子的集合论模型的讨论见【A8]， 集合上超滤子的同构型，有两个重要的偏序，它们始见于【All]二定义在任意集合D上的Rudin一Kei-sler序(Rudin一Keisler order)以及仅定义在可数集田上的RIJdin .Frolik序(Rudin .Frolik order).D上两个超滤子p，q，即刀D的两个点，如果存在映射f:D，DC=刀D，使得刀f(q)=p，就认为在R切din-Keisler序中有p簇q.若p簇q且q(p，就说p，q同型.关系p簇q导出型的一个偏序.可类似定义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条