arXiv探訪

興味の赴くままに数学するだけ

2017-10-04から1日間の記事一覧

キューネン「数学基礎論講義」感想(2/3)

前回(1章と2章の前半まで)は以下の記事。 arxiv.hatenablog.com 今回は2章の残りと3章まで読んだ。時間が掛かった割りには進捗がよろしくない模様。 第II章 モデル理論と証明論(後半) 完全性定理の証明は地味で面倒だったが、この定理は然るべき定義をす…