共查询到16条相似文献,搜索用时 125 毫秒
1.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。 相似文献
2.
3.
别荣芳 《北京师范大学学报(自然科学版)》1996,32(3):307-311
利用用谐性质的方法给出Lω1ω片断Lf上的省略型定理,作为应用,对Lf中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u的素模型的充要条件,并给出了原子模型与素模型之间的关系。 相似文献
4.
(Q)格值模型论的紧致性定理 总被引:2,自引:0,他引:2
对的格值模型,取其论域A的幂集S(A)的一个子集q及A中一组元素,把(Q)中公式Qx(x,)在(,q)中处的值定义为,则(,q)就构成(Q)的一个格值弱模型.本文对(Q)的格值弱模型证明了紧性致定理。 相似文献
5.
6.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初等扩充下的保持性等。 相似文献
7.
8.
9.
别荣芳 《北京师范大学学报(自然科学版)》1996,(3)
利用和谐性质的方法给出_(ω_1ω)片断上的省略型定理。作为应用,对中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u为素模型的充要条件,并给出了原子模型与素模型之间的关系。 相似文献
10.
对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理. 相似文献
11.
给出了Stolz定理的理论证明及推广定理,并举例说明了推广的Stolz公式的应用。 相似文献
12.
王丽萍 《中央民族大学学报(自然科学版)》2006,15(4):334-338
Plancherel定理是Fourier变换L2(Rn)空间一个重要定理,本文综合利用Hilbert空间正交分解及复变函数理论给出Plancherel定理一个简单有趣的证明. 相似文献
13.
14.
应明生 《江西师范大学学报(自然科学版)》1991,(4)
本文在一定的条件下证明了L值逻辑的紧致性蕴涵(F’_1)和(F’_2),其推论说明了格值模型论与二值模型论之间存在着一些本质的区别. 相似文献
15.
考虑半空间中具有Navier边界条件的重调和方程组,文章结合积分不等式使用移动平面法证明了一个新的Liouville型定理. 相似文献
16.
宋契 《河北大学学报(自然科学版)》2000,20(4):323-325
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础 相似文献