10.3969/j.issn.1001-7402.2012.06.014
无限格与其非标准扩张
在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.
非标准κ-饱和模型、κ-完备格、单子、上确界
26
O141(数理逻辑、数学基础)
陕西省自然科学基金资助项目2007A12;陕西省教育厅专项科研项目11JK0495,11JK0507
2013-01-26(万方平台首次上网日期,不代表论文的发表时间)
共6页
92-97