无限格与其非标准扩张

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