树和偏序理论的模型论研究 本书特色

本书主要介绍树和偏序理论模型论研究的*新成果，包括带根节点的有向树、无向树理论，以及有*小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。**章介绍一阶逻辑的预备知识；第二章介绍量词消去的主要方法与结果；第三章给出了完全二叉树等特殊理论量词消去的新证明；第四章考察了一般的带根节点的有向树、无向树理论；第五章考察了一般的有*小元的树形偏序理论；第六章介绍了有待继续研究的问题。

树和偏序理论的模型论研究 内容简介

模型论是一个年轻而活跃的学科，在经典数学领域方面有独特的应用。稳定性和单纯性理论是近年来模型论研究的热点，推动着模型论在其他学科中的应用。

树和偏序理论的模型论研究 目录

**章一阶逻辑预备知识
1.1一阶逻辑的语言
1.2一阶逻辑的推演（语法）
1.3一阶逻辑的模型（语义）
1.4常见的理论与模型
1.5模型间的相互关系
1.6一阶逻辑的完全理论
1.7稳定性与单纯性理论
第二章经典结构模型论研究
2.1量词消去的概念与方法
2.2无端点稠密线性序
2.3无扭可除交换群
2.4可除有序交换群
2.5presburger算术
2.6代数闭域
2.7实闭域
ii树和偏序理论的模型论研究
第三章几个定理的新证明
3.1完全k叉树的量词消去
3.2完全无穷叉树的量词消去
3.3完全稠密二叉偏序的量词消去
第四章带根节点的树理论
4.1语言与基本公理
4.2量词消去的准备工作
4.3dtr在l0中的量词消去
4.4dtr在l1中的量词消去
4.5utr理论的量词消去
4.6dtr与utr的模型论性质
第五章有*小元的树形偏序
5.1语言与基本公理
5.2有*小元的树形偏序结构
5.3量词消去的准备工作
5.4ole理论的量词消去
5.5ole理论的模型论性质
第六章尚待解决的若干问题
参考文献

树和偏序理论的模型论研究 作者简介

傅莺莺，女，汉族，博士。1981年生，江西樟树人。2007年7月毕业于北京师范大学数学科学学院，获博士学位。现就职于北京工商大学理学院数学系，研究领域为数理逻辑及其应用，迄今为止公开发表学术论文十余篇，参与国家自然科学基金项目4项，参与编著、译著学术著作4部。

科普读物 其他科普知识

在线阅读