L*-Lindenbaum代数中的滤子

摘要：

利用格论中滤子的相关知识,对公式集D(r)的性质进行研究.通过对D(Γ)和R0代数中MP滤子相似性的比较分析,证明了L*-Lindenbaum代数[F]中的MP滤子都是形如D(Γ)形式的,其中D(Γ)={[A]|Γ A,A ∈ F(s)|;又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.

关键词：L*-Lindenbaum代数、滤子、MP滤子、极大滤子

所属期刊栏目：32

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：36-39