PA についての雑記帳(いつまでも未完成)
最近 についてのモデル理論を勉強中のため,
雑記帳,備忘録としてここにさまざまなことをまとめておこうと思います.
厳密な議論でないものや私見を多々含みます.
かなり個人的な解釈を述べている部分もあります.
さらに,勉強した分適宜更新していくため,いつまでも完成することはないと思います.
中途半端に終わっている部分もあるかもしれません.
とにかく自分用の雑記帳なのですが,
間違い等あればご指摘いただければありがたいです.
2/3 第8章 標準系とScott集合 更新