论文部分内容阅读
在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.