20/02/12 00:05:04 8axgfTbD.net
>>260
追加
URLﾘﾝｸ(m-hiyama.hatena)（URLがNGなので、キーワードでググれ（＾＾ ）
檜山正幸のキマイラ飼育記 (はてなBlog)
2005-12-07
コンパクト空間と論理／モデル論
(抜粋)
[前置き]だいぶ前に（だいたいは）書いてあったものだけど、今が“あげどき(time to upload)”かな、と思うので、長いけど日記エントリにします。[/前置き]
ハウスドルフ空間のコンパクト性は、解析で重要な概念だが、論理や代数幾何でも（解析とはまた違った感じで）コンパクト性は大事。こっち（解析じゃない）方面では、非ハウスドルフなコンパクト空間も出てくる。
[追記 date="12-08"]（閉集合の和に関する記述を忘れていたので追加。）[/追記]
内容：
モデルの空間
論理式が定義する関数
位相空間としてのモデル空間
補足�