國外數學名著係列 影印版32 模型論引論 下載 mobi epub pdf 電子書 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

作者介紹

文摘

序言