论文部分内容阅读
量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L0={<}上的无末元离散线性序理论T0的量词可消去性,及其在扩充语言L1=S,{<}下理论T0的量词消去性。
量词可消去的线性序理论
【摘 要】
：
量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L0={<}上的无末元离散线性序理论T0的量词可消去
【机 构】
：
淮北师范大学数学科学学院,宿州学院
【出 处】
：
宿州学院学报
【发表日期】
：
2017年10期
【基金项目】
：
安徽省高校自然科学研究重大项目(KJ2014ZD31)
其他文献
并联微动机器人通过弹性铰链的弹性变形实现终端平台的微运动,静力学和静刚度是微动机器人必须解决的问题.充分考虑弹性铰链的弹性反力/力矩,对6-PSS并联微动机器人进行静力
显式有限元分析中采用子循环法能够显著的提高计算效率.在对几种常用子循环法的稳定性和精度进行验证分析的基础上,提出了新的可应用于汽车碰撞过程仿真的子循环算法,该方法
格网地形扫描是一种自动化地形测绘技术,可通过设置合理格网参数来控制扫描点的分布密度和数量,而研究扫描点的分布密度与格网参数之间的关系是该技术应用中的关键问题之一,针对此类问题的研究却相对较少。借助测量机器人,运用格网扫描技术获取指定测区的地形数据,再通过内业处理分析扫描点的分布密度,最终构建出格网参数与扫描点分布密度的函数关系。结果表明:在格网单元位置、测站位置确定的情况下,格网参数与扫描点分布密
庄子生命哲学的主要内容反映了整个道家的生命哲学的内在结构和理论形式,从“精”气”神”的有机合成提炼出“形”“神”二元一体的生命结构观,以道衍生万物,注重现实人生的
Grashof Neutral机构存在切换点 (Change point) 位置.通常认为机构在其切换点位置具有运动不确定性,其输入输出角速度比为0/0型不定式.根据运动连续性原理和洛毕达极限法则,