いろいろと勉強したもの

置きっぱなしになっているノートのような勉強の記録

PA についての雑記帳(いつまでも未完成)

最近 { \displaystyle \textsf{PA}} についてのモデル理論を勉強中のため,
雑記帳,備忘録としてここにさまざまなことをまとめておこうと思います.

厳密な議論でないものや私見を多々含みます.
かなり個人的な解釈を述べている部分もあります.
さらに,勉強した分適宜更新していくため,いつまでも完成することはないと思います.
中途半端に終わっている部分もあるかもしれません.

とにかく自分用の雑記帳なのですが,
間違い等あればご指摘いただければありがたいです.

2/3 第8章 標準系とScott集合 更新