切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
完全二叉树理论的可数模型及其胞腔性
完全二叉树理论的可数模型及其胞腔性
来源 :南京大学学报:数学半年刊 | 被引量 : 0次 | 上传用户:a9s5c112j6b
【摘 要】
:
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质.
【作 者】
:
王世琪
【机 构】
:
上海新锦江股份公司电脑中心
【出 处】
:
南京大学学报:数学半年刊
【发表日期】
:
2007年2期
【关键词】
:
完全二叉树理论
Scott语句
超齐次结构
胞腔结构
the theory of complete binary trees
cellular
Ultrah
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质.
其他文献
分配环和它们的Grothendieck群
本文我们首先建立分配环的某些新的刻画,考察分配环的扩张性质.其次,我们研究了稳定秩为1的分配环的Grothendieck群.作为应用,我们获得:每个分配的exchange环既满足可消律,也满足n次
期刊
GROTHENDIECK群
分配环
稳定秩1
EXCHANGE环
Grothendieck group
distributive ring
stable r
一类C^1泛函的四解定理
利用下降流不变集方法证明了一类C^1泛函四个临界点的存在性定理.
期刊
下降流不变集
临界点
伪梯度向量场
invariant sets of descending flow
critical point
pseudo grad
带非局部初值条件的半线性微分方程的可控性(英文)
本文中我们讨论了Banach空间中带非局部初值条件u(0)=g(u)+u<sub>0</sub>的半线性微分方程u′(t)=Au(t)+Bu(t)+f(t,u(t))的可控性问题,我们在g失去紧性条件时,给出了局部可控的充分条件.
期刊
非局部初值条件
紧半群
非局部可控
适度解
nonlocal initial condition
compact semigroup
nonlocally
闭算子的广义逆的扰动及其应用
本文讨论了闭算子的M-P广义逆的扰动,并由此讨论首项系数本质无界的二阶散度型椭圆型微分方程的最小范数极小二乘解的稳定性.
期刊
算子理论
M-P广义逆
系数扰动
光滑无穷维Grassmann流形G(E)(英文)
设E是Banach空间,G(E)表示空间E中可分裂的子空间全体,和U(N)={HE:H N=E}.让F∈U(N).1983年,Abraham,Marsden和Ratiu给出G(E)上的一个微分结构{(U(N),Ψ_(F,N)}_(N∈G(E
期刊
GRASSMANN流形
微分结构
无穷维Grassmann流形
Grassmann manifold
Infinite dimensional Grassma
一类具有连续分布延时的随机反应扩散的Hopfield神经网络的收敛动力学行为
本文研究了一类具有连续分布延时的随机反应扩散的神经网络模型.通过构建恰当的Lyapunov函数,以及运用非负半鞅收敛性定理,得到了该网络平衡解几乎必然指数稳定和矩指数稳定
期刊
HOPFIELD神经网络
反应扩散
时滞
非负半鞅收敛定理
几乎必然指数稳定
Hopfield neural networks
reaction-diffus
关于弱幺正则环和强稳定环
在本文中我们引入了弱幺正则环的概念,证明这类环是幺正则环和半局部环的自然推广.另外,我们还证明了下面两个结果:(1)环R是弱幺正则的当且仅当Mn(R)(n≥1)是弱幺正则环;(2)假设R
期刊
弱幺正则环
强稳定环
K1-群
分数次积分算子与分数次极大算子的有界性估计(英文)
本文我们证明了如下结论: (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,ωβ)中
期刊
HERZ空间
弱HERZ空间
分数次积分算子
分数次极大算子
Herz space
weak Herz space
fractional integral
修理时间为一般分布的开关寿命连续型冷贮备系统
本文针对由两个不同型部件和一个修理工组成的,开关寿命为连续型随机变量的冷贮备可修系统,讨论两部件的维修时间为一般非负随机变量,部件工作寿命以及转换开关的寿命和维修
期刊
向量马氏过程
可靠性
首次失效前的平均时间
冷贮备系统
vector Markov process
reliability
MTTFF
cold stan
双模代数的L-R扭Smash积
在这篇文章中,我们对H双模代数构造了一个新的代数.A#H,称之为L-R扭Samsh积,并且给出了这个代数的Maschke定理.
期刊
双模代数
L-R扭Smash积
余拟三角Hopf代数
bimodule algebra
L - R twisted smash product
Maschk
与本文相关的学术论文