DavisのNSAのメモです。Dover publ. M.Davis, Applied Nonstandard Analysisを読んでます。今は、Losの定理を証明して、concurrence theoremを証明し、自然数の超準集合に、無限大元が存在することを示したところです。 Concurrence Theorem: をuniverse, を…

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