ペアノ算術についての有名な定理に，Tennenbaumの定理というものがあります． これは，算術の超準モデルは再帰的ではないというもので，超準モデルの性質に関心がある私としてはとても興味をひかれる定理です．というわけで，今回からTennenbaumの定理の証明…

最近 についてのモデル理論を勉強中のため， 雑記帳，備忘録としてここにさまざまなことをまとめておこうと思います．厳密な議論でないものや私見を多々含みます． かなり個人的な解釈を述べている部分もあります． さらに，勉強した分適宜更新していくため…