完全二叉树理论的可数模型及其胞腔性

来源 :南京大学学报:数学半年刊 | 被引量 : 0次 | 上传用户:a9s5c112j6b
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质.
其他文献
本文我们首先建立分配环的某些新的刻画,考察分配环的扩张性质.其次,我们研究了稳定秩为1的分配环的Grothendieck群.作为应用,我们获得:每个分配的exchange环既满足可消律,也满足n次
利用下降流不变集方法证明了一类C^1泛函四个临界点的存在性定理.
本文中我们讨论了Banach空间中带非局部初值条件u(0)=g(u)+u<sub>0</sub>的半线性微分方程u′(t)=Au(t)+Bu(t)+f(t,u(t))的可控性问题,我们在g失去紧性条件时,给出了局部可控的充分条件.
本文讨论了闭算子的M-P广义逆的扰动,并由此讨论首项系数本质无界的二阶散度型椭圆型微分方程的最小范数极小二乘解的稳定性.
设E是Banach空间,G(E)表示空间E中可分裂的子空间全体,和U(N)={HE:H  N=E}.让F∈U(N).1983年,Abraham,Marsden和Ratiu给出G(E)上的一个微分结构{(U(N),Ψ_(F,N)}_(N∈G(E
本文研究了一类具有连续分布延时的随机反应扩散的神经网络模型.通过构建恰当的Lyapunov函数,以及运用非负半鞅收敛性定理,得到了该网络平衡解几乎必然指数稳定和矩指数稳定
在本文中我们引入了弱幺正则环的概念,证明这类环是幺正则环和半局部环的自然推广.另外,我们还证明了下面两个结果:(1)环R是弱幺正则的当且仅当Mn(R)(n≥1)是弱幺正则环;(2)假设R
本文我们证明了如下结论: (1)分数次积分算子I<sub>l</sub>与分数次极大算子M<sub>l</sub>是K<sub>q1</sub><sup>α,p1</sup>(1,ωα)到WK<sup>q2</sup><sup>α,p2</sup>(1,ωβ)中
本文针对由两个不同型部件和一个修理工组成的,开关寿命为连续型随机变量的冷贮备可修系统,讨论两部件的维修时间为一般非负随机变量,部件工作寿命以及转换开关的寿命和维修
在这篇文章中,我们对H双模代数构造了一个新的代数.A#H,称之为L-R扭Samsh积,并且给出了这个代数的Maschke定理.