kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2021-05-22から1日間の記事一覧

定義による保存拡大の統語論的な証明

今回の数学エッセーでは、以前にも述べた、定義による保存拡大についてです。 実は、私は初めから統語論的に証明を与えて、一安心して使っていたのですが、 その統語論的な証明が、一般的には難しいとのご意見を聞いたことがあります。 これが完璧な定式化だ…