不相交并和一阶语言的有穷模型性

摘要：

在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关.但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么样的因素强迫一个公式有或者没有有穷模型.对比于一个有穷模型的所有理论①都具有有穷模型性这一事实,发现存在另外一类无穷模型,通过不相交并的方式构造出来,因而它们的所有一阶理论都有有穷模型性.

关键词：有穷模型性、无穷模型、一阶语言、不相交并

所属期刊栏目：28

分类号：B81(逻辑学(论理学))

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

页数：共5页

页码：22-26