检索结果-内蒙古大学图书馆

我们在[2][3]开始的工作中,对于多值模型论准备作一些初步考查.我们已经讨论了2-值模型论中超积基本定理及紧致性定理在多值时的初步推广.本文是这一工作的继续,我们将证明某些值格时的省略型定理.文中有些概念及记号可参看[2]、[3]、[4](但本文的内容与[2]、[3]无关).以下再补充叙述一些与本文有关的概念.

关键词：格值模型论子集紧致性定理

来源：评论

学校读者我要写书评

暂无评论

格值模型论中的力迫方法

引用

数学年刊A辑(中文版) 1986年第1期 46-54页

作者：沈复兴北京师范大学

本文把Robinson模型论有限力迫法引进格值模型理论,证明了格值可数语言的generic模型存在定理,并应用有限力迫方法给出格值模型论中的省略型定理的一种证明。

关键词：格值模型论当且仅当定理定义有限子集归纳理论力迫方法存在句命题句子

来源：评论

学校读者我要写书评

暂无评论

格值模型论中的无限力迫方法

引用

数学年刊A辑(中文版) 1986年第2期 161-169页

作者：沈复兴北京师范大学

本文把Robinson模型论无限力迫法引进格值模型论中。设Σ是语言(?)的格值模型类。我们定义了Σ中模型(?)与(?)(A)的句子间的力迫关系,我们证明了格值generic模型存在定理以及格值generic模型类(?)的一些模型论性质。本文还给出了格值力... 详细信息

本文把Robinson模型论无限力迫法引进格值模型论中。设Σ是语言(?)的格值模型类。我们定义了Σ中模型(?)与(?)(A)的句子间的力迫关系,我们证明了格值generic模型存在定理以及格值generic模型类(?)的一些模型论性质。本文还给出了格值力迫伴随理论,格值模型伴随理论以及格值拟generic模型类的一些基本性质。

关键词：模型类力迫方法沈复兴和谐理论定义格值模型论定理当且仅当

来源：评论

学校读者我要写书评

暂无评论

格值模型论中的饱和模型

引用

东北师大学报(自然科学版) 1982年第2期 33-38页

作者：卢景波沈呈民

本文的目的是把[2]中研究过的多值ω—饱和模型推广到α—饱和模型(其中α是任意基数)。另外由于已经证明,当值格L无限时,紧致性定理不一定成立,故我们在本文中总假定值格L是有限的。为了方便我们首先给出几个定义: 定义设△(p,q)是一... 详细信息

本文的目的是把[2]中研究过的多值ω—饱和模型推广到α—饱和模型(其中α是任意基数)。另外由于已经证明,当值格L无限时,紧致性定理不一定成立,故我们在本文中总假定值格L是有限的。为了方便我们首先给出几个定义: 定义设△(p,q)是一个由命题变量p,q经∧,∨,]组成的良构式,若赋值时具有下列性质,则称为值格L的一个强特征式:对任何x,y∈L,当x=y时,△(x,y)=I;当x≠y时,△(x,y)=0。定义设T是语言中的一个理论(即分组句子集),若T的每一个有限子集都有模型,则称T为有限和谐的。

关键词：饱和模型引理定义无限基数有限子集格值模型论 Th 当且仅当

来源：评论

学校读者我要写书评

暂无评论

格值模型论的双基数定理和强降L-S-T定理