向前向后法证明一阶逻辑的几个定理

摘要：

向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明.

关键词：模型论、一阶逻辑、向前向后方法、内插定理、保持定理

所属期刊栏目：25

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

资助基金：福建省青年科技人才创新基金2002J011

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

页数：共3页

页码：203-205