目次
1 古典的モデル論(言語と構造;各種のモデルの存在定理)
2 安定性と基本的定理(安定性―基本的性質;独立の概念と非分岐拡大;定格タイプ、強タイプ;安定性の強さとランクの存在;次元の概念)
3 いくつかの話題(Zilberの既約性定理;飽和モデルと素モデル;構造解析)
-
- 和書
- ロボット工学の基礎
1 古典的モデル論(言語と構造;各種のモデルの存在定理)
2 安定性と基本的定理(安定性―基本的性質;独立の概念と非分岐拡大;定格タイプ、強タイプ;安定性の強さとランクの存在;次元の概念)
3 いくつかの話題(Zilberの既約性定理;飽和モデルと素モデル;構造解析)