国外数学名著系列 影印版32 模型论引论 epub pdf mobi txt 电子书 下载 2024

国外数学名著系列 影印版32 模型论引论 epub pdf mobi txt 电子书 下载 2024

国外数学名著系列 影印版32 模型论引论 epub pdf mobi txt 电子书 下载 2024

基本信息

书名:国外数学名著系列 影印版32 模型论引论

原价：66.00元

作者：(美)马克

出版社：科学出版社

出版日期：2007-01-01

ISBN：9787030182968

字数：422000

页码：342

版次：1

装帧：精装

开本：

商品重量：0.799kg

编辑推荐

内容提要

本书以现代观点介绍模型论，着重强调其在代数学中的应用。前半部分包括模型构造技巧的典型论述，如类型空间，素模型，饱和模型，可数模型，不可辨元等理论及其应用。在书中后半部分，作者首先介绍莫利的范畴性定理，随之讨论稳定性理论，着重论述Ω－稳定性理论。最后，作者举例阐明了赫鲁索夫斯基如何将这些理论运用于丢番图几何。本书显著特色之一是包含一些其他入门型教材所未涉及的重要论题，如Ω－稳定群和强极小集的几何学。
作者David MarkeR是伊利诺斯大学芝加哥分校的教学教授，主要研究数学逻辑和模型论及其在代数和几何中应用。本书基于作者1998年在数学科学研究所发表的系列演讲。

目录

Introduction
1 Structurese and Theories
1.1 Languages and Structures
1.2 Theories
1.3 Defiable Sets and Interpretability
1.4 Exercises and Remarks
2 Basic Techniqus
2.1 The Compactness Theoem
2.2 Complete Theories
2.3 Up and Down
2.4 Back and Forth
2.5 Exercises and Remarks
3 Algebraic Examples
3.1 Quantifier Elimintion
3.2 Algebraiclly Closed Fields
3.3 Real Closed Fields
3.4 Exercises and Remarks
4 Realizing and Omitting Types
4.1 Types
4.2 Omitting Types and Prime Models
4.3 Saturated and Hmogeneous Models
4.4 The Number of Countable Models
4 5 Exercises and Remarks
5 Indiscernibles
5.1 Partition Theorems
5.2 Order Indiscernibles
5.3 A Many-Models Theorem
5.4 An Independence Result in Arithmetic
5.5 Exercises and Remarks
6 ω-Stable Theories
7 ω-Stable Groups
8 Geometry of Strongly Minimal Sets
A Set Theory
B Real Algebra
References
Index

作者介绍

文摘

序言

国外数学名著系列 影印版32 模型论引论 epub pdf mobi txt 电子书 下载 2024