摘要

文章借助模型论中滤子的概念,通过对滤子的研究及偏序集中滤子与理想之间的关系,引入超理想的概念,以及真理想、非主超理想的定义.讨论理想在模型论中一些相关性质并得到若干结论:在模型论中超理想与极大真理想等价;任意真理想都能扩张为超理想;理想下的紧致性定理.