【摘 要】
：
设有序加法群(G,+,<, 0)是一个Presburger算数理论的模型。本文研究了G~n上的f-generic型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic型都是
【基金项目】
：
supported by NSFC(Grant No.11601090)and Shangai Puijan Program(Grant No.16PJC018)
论文部分内容阅读
设有序加法群(G,+,<, 0)是一个Presburger算数理论的模型。本文研究了G~n上的f-generic型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic型都是■-可定义的。此外,文章的最后一部分研究了p-adic域Q_p的乘法群H。我们证明了H~n的f-generic型也都是■-可定义的。
其他文献
【正】 按照辩证唯物主义的观点,事物的本质特征有三个特点:(1)它是事物表现出来的本质,即它能为人们的直觉所把握;(2)它是事物本质的直接表现,即通过它能了解事物的本质;(3)
近几年,微信在大学生中受到广泛的应用,利用微信公众平台对大学生进行宣传教育非常显著。因此高校将传统的学生安全教育与宣传工作和现代新媒介进行完美结合,改变了安全宣传
气候变化和人类活动是对陆地生态系统碳循环产生重要影响的两个因素,定量评估气候变化与人类活动对植被净初级生产力(NPP)的相对影响,对深入理解其驱动机制和控制荒漠化发展
目的：分析击剑运动员肌力特征，为击剑项目的运动训练和康复训练提供理论依据。研究方法：通过ISOMED2000进行等速肌力测试，数据结果应用Spss18．0统计软件进行独立样本T检验。结果：（1）
<正> 满足AGA=A的G叫做矩阵A的广义逆,记作G=A~-。一般说,A~-不必是唯一的。本文首先给出了B=AH,C=KA(字母均代表矩阵)时的特解,其次给出了A、D非负定时的特解,因而得出了求
<正> 关于分块矩阵广义逆,我们得到如下结果定理分块矩阵存在形如的g—逆的充要条件是 R(A)∩B(B)={0},R(A~t)∩R(C~t)={0}。在上述条件下,我们可得到的具体结构为分块矩阵
数年前,美国的一家公司运用了国家航空和宇宙航行局(NASA)的科学家们所开发的技术,即制造天体图象的技术,开始设计一种能不看医生或不去医院就能进行X光透视的携带式装置。
常州博物馆典藏的龙泉窑青瓷器，基本反映出龙泉窑从初创到兴盛、发展、衰弱直至终止的全部过程，是研究龙泉窑工艺成就的珍贵资料。
“九一八”前夕,日焰嚣张,东三省岌岌可危,南京国民政府与东北地方政府共同制定了对日不抵抗与诉诸国际联合会的外交方针。这一方针是蒋介石和张学良在权衡利弊得失后作出的
对以黑水城西夏文献为主的俄、英、中所藏相关文献进行了简要介绍，同时梳理了各机构对所藏文献的整理与刊布及研究的简要情况。世界各地现存的西夏文献以俄罗斯所藏为大宗，且90