2019-12-07から1日間の記事一覧
数理論理学のテキストを更新しました: 数理論理学入門 このテキストの一番大きなテーマは, 定義による関数記号の導入が, どのような場合に元の形式的体系の保存拡大になっているか, という問題です. 今回の追加分は, 保存拡大についてよく知られた結果や, ス…
数理論理学のテキストを更新しました: 数理論理学入門 このテキストの一番大きなテーマは, 定義による関数記号の導入が, どのような場合に元の形式的体系の保存拡大になっているか, という問題です. 今回の追加分は, 保存拡大についてよく知られた結果や, ス…