论文部分内容阅读
定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.
完全二叉树理论的模型及性质
【摘 要】
：
定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.
【机 构】
：
北京师范大学数学系
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金
其他文献
目的：研究板蓝根多糖对小鼠免疫功能的影响。方法：采用腹腔注射环磷酰胺的方法制造小鼠免疫功能低下模型,灌胃给予不同剂量的板蓝根多糖,用SPA花环技术测T淋巴细胞亚群的比例,
目的观察兔实验性单纯疱疹病毒性角膜炎(HSK),不同病程阶段的角膜神经组织损伤的显微及超微结构的改变.方法兔角膜刮痕接种HSV-Ⅰ,多聚酶链反应技术检测兔角膜感染,分期进行
利用分子动力学中的静态结构弛豫方法对Cu原子在面心立方铜的台阶表面扩散过程中的Ehrlich-Schwoebel(ES)势垒进行了模拟计算,研究了二维和三维ES势垒的差别,并将Cu与面心立
本文对软件测试过程管理系统的设计与实现进行了研究。当前阶段,在网络上出现了各式各样的软件系统。在时代不断发展变化的过程中,人们对于软件质量有了更高要求。综合相关调
给出了单生过程首中时、击中时一阶矩的显式表达,由此得到了单生过程平稳分布的显式表达,并计算了3个具体例子的平稳分布.