杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

树和偏序理论的模型论研究/傅莺莺著

出版发行项:

北京:中国经济出版社,2015.8

ISBN及定价:

978-7-5136-3910-1/CNY48.00

载体形态项:

182页;21cm

学科主题:

模型论-研究

中图法分类号:

O141.4

提要文摘附注:

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

使用对象附注:

模型论研究者及相关读者。

豆瓣简介：