最近、M.DavisのApplied NSAを読んでます。 NSA+MLで同人誌を出しましたが、このままその方向で進めるなら、数理論理的、モデル理論的な扱い方を知らないのは困るな、と思ったので読んでます。 Chapter1.3 individual and superstructureについてのメモです…

タンブラーがmcafeeのフィルタリングにひっかかったので、はてなブログを書きます。 数式が簡単にかけるすごい。