共查询到20条相似文献,搜索用时 750 毫秒
1.
童雪 《北京师范大学学报(自然科学版)》1995,(2)
给出了的一个子逻辑系统,并在其上初步讨论了一些重要的模型论性质,给出了的一个特征。主要结果是:如果是一强于的可有限分离的正规逻辑系统,且在上LST定理和ω_1-紧致性定理成立,则与等价。 相似文献
2.
别荣芳 《北京师范大学学报(自然科学版)》1996,32(3):307-311
利用用谐性质的方法给出Lω1ω片断Lf上的省略型定理,作为应用,对Lf中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u的素模型的充要条件,并给出了原子模型与素模型之间的关系。 相似文献
3.
别荣芳 《北京师范大学学报(自然科学版)》1996,(3)
利用和谐性质的方法给出_(ω_1ω)片断上的省略型定理。作为应用,对中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u为素模型的充要条件,并给出了原子模型与素模型之间的关系。 相似文献
4.
杜秋霞 《科技情报开发与经济》2008,18(22):154-155
利用Fourier-Laplace变换对Roumieu型ω-超可微函数空间D(ω)甜(R^N)进行了讨论,并给出了其上的一个等价性定理。 相似文献
5.
孟杰 《西北大学学报(自然科学版)》1984,(3)
本文引入了ω_μ—乘积空间的概念,并详细讨论了它的性质,最后以此为工具给出了R.sikorski和王戍堂关于ω_μ—距离化定理的较简单的证明。ω_μ系指规则的初始数,如不特别说明,总假定μ>0。一个拓扑空间(x,T)叫做ω_μ—可加的,是指对T的任一个α一列有,这里α是小于ω_μ的任一序数。 相似文献
6.
7.
杨洁 《烟台大学学报(自然科学与工程版)》2014,(3):221-223
在L-fuzzy保序算子空间中引入ω-稠密度的概念,并研究点集拓扑学中关于浓度成立的Hewitt-Marczewski-Pondiczery定理是否关于ω-稠密度也成立,给出了一个部分解答. 相似文献
8.
9.
在许多学者得到的重要结果的基础上,文章利用Fourier—Laplace变换对BeurLing型ω-超可微函数空间D{ω}和Rumieu型ω-型可微函数D{ω}进行了讨论,并且给出了Dω中的Paley-Wiener定理. 相似文献
10.
ω—自动机与扩大了的正规表达式 总被引:1,自引:0,他引:1
别荣芳 《北京师范大学学报(自然科学版)》1997,33(4):448-452
在提出扩大了正规表达式的概念的基础上,建立ω-自动机与扩大了的ω-正规表达工之间的1-1对应,并给出了2类不能构造出确定型ω-自动机的表达的(语言)。 相似文献
11.
陈波 《西南师范大学学报(自然科学版)》2019,44(6):37-39
讨论了Lω-空间ωβ-连通性的刻画问题.利用ωβ-远域的概念,给出了Lω-空间中ωβ-连通性的樊畿定理,建立了ωβ-连通的几何直观性的刻画.应用樊畿定理,讨论了ωβ-连通性的一个基本性质. 相似文献
12.
田震 《河南大学学报(自然科学版)》1995,25(4):19-22
本文综合文献〔1〕之定理1'和定理2'的条件研究集〔1,2m〕上的n-可重排列i1i2…in使得〔1,2m〕中每个奇数重复奇数次,每个偶数重复偶数(包括零)次,同样给出了完满的解答。 相似文献
13.
陈自立 《淮阴师范学院学报(自然科学版)》2014,(1):23-39
通过破连续统假设的基石即其中的基本定理与基本方法,得到主要结果:证伪"定理:ω1是基数";康托定理的证伪;对角线法不可取;从正面几个角度几种方法来证明连续统[0,1]是可数的.得出关于连续统的一个新证明:2ω0=ω0.用进制法证明2ω0可数;用一一对应法证明[0,1]实数区间的可数性. 相似文献
14.
王延军 《江西师范大学学报(自然科学版)》2008,32(5)
在Lω-空间中利用ωδ-闭集引入了ωδ-远域的概念,并借助于ωδ-远域给出了ωδ-连通性的樊畿定理.最后,利用连通性的樊畿定理证明了一个重要结论. 相似文献
15.
文章讨论了Roumieu型和Beurling型ω-超广义函数空间D′(ω)(Ω)和D′(ω)(Ω)的一些性质,并给出了一些相关的判别定理. 相似文献
16.
本文通过引入ω的实用意义,给出了一种直观证明速度瞬心存在并唯一的定理的一种新方法,并且通过实例简单介绍了ω的实用意义的其它应用。 相似文献
17.
证明了Grothendieck-Pietsh定理〔1,3〕的逆定理成立,引入ω*p-可和概念,证明对偶空间中序列的ωp-可和性与ω*p-可和性是等价的,并给出一个范数恒等式. 相似文献
18.
吕子明 《四川大学学报(自然科学版)》1999,36(1):17-20
讨论了Pettis可积向量值函数f与线性算子T:x^*→L1(μ)的关系;在域上Pettis可积在一定条件也在其σ-域上Pettis可积;给出了可数可加向量测度G:Σ→X^*的ω^*的可测函数的一个表示定理。并讨论了具有Schur性质的Banach空间X与L'X(μ)的弱收敛的关系。 相似文献
19.
关于次子空间的若干问题 总被引:1,自引:0,他引:1
廖家藩 《山东师范大学学报(自然科学版)》1995,10(2):209-209
关于次子空间的若干问题廖家藩(滨州师范专科学校数学系,256604.山东滨州;54岁,男,副教授)设V是数域F上的向量空间,文[1]给出了次子空间的概念:设a∈V,W是V的一个子空间,集合称为V的次子空间。W称为W'的导出子空间。定理1设W'为V的次... 相似文献