掃一掃
關(guān)注中圖網(wǎng)
官方微博
>
關(guān)于“姚寧遠”檢索到 共2種現(xiàn)貨商品
-
包郵初等模型論/姚寧遠/邏輯與形而上學(xué)教科書系列
¥29.1(8.1折)定價:¥36.0本書從一階邏輯的語法和語義開始， 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容...
-
包郵模型論 ω-穩(wěn)定理論與代數(shù)閉域
¥33.8(8折)定價:¥42.0本書面向數(shù)學(xué)系和哲學(xué)系的研究生或高年級本科生，是模型論的進階內(nèi)容，讀者需要有一定的模型論基礎(chǔ)和抽象代數(shù)基礎(chǔ)。 第1章回顧了諸如可定義集、型、緊致性、飽和性、齊次性以及量詞消去等模型論的基本概念。 第2~4章分別介紹了強極小理論、ω-穩(wěn)定理論以及ω-穩(wěn)定群理論，屬于純粹模型論。在強極小理論中，基于預(yù)幾何的維數(shù)理論是核心。在ω-穩(wěn)定理論中，我們用Morley秩取代了強極小理論中的維數(shù)，同時發(fā)展出基于Morley秩的分叉理論，并在第4章中用
