论文部分内容阅读
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1-范畴的,进而p阶拟循环群理论的每一模型都是齐次模型.
p阶拟循环群理论的可数模型
【摘 要】
：
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1-范畴的,进而p阶拟循环群理论的每一模型都是齐次模型.
【机 构】
：
北京师范大学数学系,贵州民族学院数学系
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2005年1期
【基金项目】
：
国家自然科学基金
其他文献
在德国，合作社审计协会的基本职能是对合作社实施法定审计，进行外部监督；同时，在法律、税务和经营管理方面对合作社进行指导，帮助合作社搞好经营。具体包括如下方面：把好合作社“入
讨论神经系统识别爆发型锋电位序列信息的机制,认为序列的信息存储在爆发锋电位组内间隔和组间间隔2个时间变量中,建立了一个神经回路,通过突触传递过程中的易化、反馈调节机制以及时间依赖的学习机制等突触可塑性机制,给出了神经系统识别爆发性锋电位序列信息的一种可能机制,其中包括分解机制和整合机制两部分.首先通过神经元选择性响应的动力学性质,将锋电位序列的信息分解,并将每组锋电位内部间隔的信息通过不同神经元学
构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原子模型得到了可数万有模型.最后证明了p阶拟循环群理论的ω1-范畴性.