论文部分内容阅读
从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词法去方法证明了当Ｔ是完全理论时，Ｔψ的完全性，进一步给出了Ｔψ是ω－范畴理论的一个充分必要条件，回答了Ａｓｈ的一个问题。
可数模型的ψ—分式模型
【摘 要】
：
从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词法去方法证明了当Ｔ是完全理论时，Ｔψ的完全性，进一步给出了Ｔψ是ω－范畴理论的一个充分必要条件，回答了Ａｓｈ的一
【机 构】
：
北京师范大学数学系
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
1997年4期
【基金项目】
：
国家自然科学基金!19571009
其他文献
在Ｔｙａｂｉｋｏｎ退耦近似下，采用双时格林函数理论讨论了二维反铁磁Ｈｅｉｓｅｎｂｅｒｇ模型的基态性质，理论计算得到系统的交错磁化强度Ｍ＝０．３４７６和每个键上的基态能量Ｅｇ／４ＮＪ＝－０．３２７５，与对应的数值模拟结果符合很好。
ＮＢＡ绰号种种ＮＢＡ球员就象《水浒》的好汉们一样，个个都有绰号，五花八门，无奇不有。化身博士大勺子邮差爪子坏小子梦飞人魔术师天钩大鸟大虫海军上将野牛大狗朱利思·欧文（ＪｕｌｉｕｓＥｒｖｉｎｇ）费城７６人队威
考虑离散型反向式网络，给出网络稳定性的一种判据，并把熟知的“能量函数”判据作为特款；把稳定点转化为某种函数的不动点；将权矩阵的学习归结为用梯度下降法求一组矛盾线性方程组
对移动网管的应用背景、分布式对象进行了简单的介绍,指出传统操作系统中提供的网络传统服务来开发C/S分布式应用的不足,提出引进CORRBA及它在移动网管中的应用及其建模方案.
系统科学的兴起是本世纪科学发展的重要标志之一。本文概要介绍了系统科学在体育领域的推广与应用情况及应用特点,无论在理论上还是在实践上均具有重要意义。
【正】 劳尔 劳尔本名为冈萨雷斯·布兰科(Gonzalez Blanco),效力于西班牙皇家马德里队。 在备战1996年欧洲足球锦标赛期间,西班牙媒体对劳尔未能入选国家队大表惋惜。
考虑由脉冲星磁偶极辐射产生的低应电磁波，它构成的湍动波压将加速等离子体，并通过磁极的磁力线散发到空间，形成脉冲星风。计算表明：当找到一个能与粒子产生共振的初始波能时，电子
在Ａ－Ｓ模型的基础，讨论了脉冲星的γ射线辐射机制，考虑到偶极和四极场的作用后，给出脉冲星要成为γ射线脉冲星的判据，据此判据计算了１３颗可能成为γ射线脉冲星的光度和流量。