( )(Q)格值模型的省略型定理

摘要：

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.

关键词：广义量词、格值模型论、省略型定理

所属期刊栏目：35

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

资助基金：北京大学青年自然科学基金

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

页数：共5页

页码：409-413