首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 750 毫秒
1.
给出了的一个子逻辑系统,并在其上初步讨论了一些重要的模型论性质,给出了的一个特征。主要结果是:如果是一强于的可有限分离的正规逻辑系统,且在上LST定理和ω_1-紧致性定理成立,则与等价。  相似文献   

2.
利用用谐性质的方法给出Lω1ω片断Lf上的省略型定理,作为应用,对Lf中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u的素模型的充要条件,并给出了原子模型与素模型之间的关系。  相似文献   

3.
利用和谐性质的方法给出_(ω_1ω)片断上的省略型定理。作为应用,对中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u为素模型的充要条件,并给出了原子模型与素模型之间的关系。  相似文献   

4.
利用Fourier-Laplace变换对Roumieu型ω-超可微函数空间D(ω)甜(R^N)进行了讨论,并给出了其上的一个等价性定理。  相似文献   

5.
本文引入了ω_μ—乘积空间的概念,并详细讨论了它的性质,最后以此为工具给出了R.sikorski和王戍堂关于ω_μ—距离化定理的较简单的证明。ω_μ系指规则的初始数,如不特别说明,总假定μ>0。一个拓扑空间(x,T)叫做ω_μ—可加的,是指对T的任一个α一列有,这里α是小于ω_μ的任一序数。  相似文献   

6.
本文讨论了ω-正规语言,ω-上下文无关语言对同态和逆同态运算的封闭性。证明了一个关于三重簇的闭包定理。  相似文献   

7.
在L-fuzzy保序算子空间中引入ω-稠密度的概念,并研究点集拓扑学中关于浓度成立的Hewitt-Marczewski-Pondiczery定理是否关于ω-稠密度也成立,给出了一个部分解答.  相似文献   

8.
关于CCω空间     
证明了CCω空间所具有的一系列性质.同时对PAREEK给出的关于CCω空间和M空间的关系的定理进行了改进.空间;M空间  相似文献   

9.
在许多学者得到的重要结果的基础上,文章利用Fourier—Laplace变换对BeurLing型ω-超可微函数空间D{ω}和Rumieu型ω-型可微函数D{ω}进行了讨论,并且给出了Dω中的Paley-Wiener定理.  相似文献   

10.
ω—自动机与扩大了的正规表达式   总被引:1,自引:0,他引:1  
在提出扩大了正规表达式的概念的基础上,建立ω-自动机与扩大了的ω-正规表达工之间的1-1对应,并给出了2类不能构造出确定型ω-自动机的表达的(语言)。  相似文献   

11.
讨论了Lω-空间ωβ-连通性的刻画问题.利用ωβ-远域的概念,给出了Lω-空间中ωβ-连通性的樊畿定理,建立了ωβ-连通的几何直观性的刻画.应用樊畿定理,讨论了ωβ-连通性的一个基本性质.  相似文献   

12.
本文综合文献〔1〕之定理1'和定理2'的条件研究集〔1,2m〕上的n-可重排列i1i2…in使得〔1,2m〕中每个奇数重复奇数次,每个偶数重复偶数(包括零)次,同样给出了完满的解答。  相似文献   

13.
通过破连续统假设的基石即其中的基本定理与基本方法,得到主要结果:证伪"定理:ω1是基数";康托定理的证伪;对角线法不可取;从正面几个角度几种方法来证明连续统[0,1]是可数的.得出关于连续统的一个新证明:2ω0=ω0.用进制法证明2ω0可数;用一一对应法证明[0,1]实数区间的可数性.  相似文献   

14.
在Lω-空间中利用ωδ-闭集引入了ωδ-远域的概念,并借助于ωδ-远域给出了ωδ-连通性的樊畿定理.最后,利用连通性的樊畿定理证明了一个重要结论.  相似文献   

15.
文章讨论了Roumieu型和Beurling型ω-超广义函数空间D′(ω)(Ω)和D′(ω)(Ω)的一些性质,并给出了一些相关的判别定理.  相似文献   

16.
杨雪梅 《科技信息》2012,(9):162-162
本文通过引入ω的实用意义,给出了一种直观证明速度瞬心存在并唯一的定理的一种新方法,并且通过实例简单介绍了ω的实用意义的其它应用。  相似文献   

17.
证明了Grothendieck-Pietsh定理〔1,3〕的逆定理成立,引入ω*p-可和概念,证明对偶空间中序列的ωp-可和性与ω*p-可和性是等价的,并给出一个范数恒等式.  相似文献   

18.
讨论了Pettis可积向量值函数f与线性算子T:x^*→L1(μ)的关系;在域上Pettis可积在一定条件也在其σ-域上Pettis可积;给出了可数可加向量测度G:Σ→X^*的ω^*的可测函数的一个表示定理。并讨论了具有Schur性质的Banach空间X与L'X(μ)的弱收敛的关系。  相似文献   

19.
关于次子空间的若干问题   总被引:1,自引:0,他引:1  
关于次子空间的若干问题廖家藩(滨州师范专科学校数学系,256604.山东滨州;54岁,男,副教授)设V是数域F上的向量空间,文[1]给出了次子空间的概念:设a∈V,W是V的一个子空间,集合称为V的次子空间。W称为W'的导出子空间。定理1设W'为V的次...  相似文献   

20.
正则ω~2-半群可分为有核和无核2种情况.获得了无核的正则ω~2-半群的一个刻画,并给出具有真核的正则ω~2-半群的结构定理以及相应于这一结构的同构定理.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号