fujidig https://blog.hatena.ne.jp/fujidig/ 理科 https://fujidig.hatenablog.com/ この記事はMathematical Logic Advent Calendar 2019の8日目の記事です。 もともと「C[0,1]の中の微分可能関数全体がΠ^1_1完全なこと」という記事を書く予定でしたが、予定変更です。 adventar.org 集合論の言語の有限構造がZFCの各公理を満たすか判定するプログラムをOCamlで書きました。 ただし、分出公理図式と置換公理図式はそれぞれ無限個公理があるわけですが、それらについてはそのすべてのインスタンスを満たすことを判定します。 たとえば、Kunenの"The Foundations of Mathematics"に載っている7つの有限モデルに… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujidig.hatenablog.com%2Fentry%2F2019%2F12%2F09%2F180035" title="集合論の言語の有限構造がZFCの各公理を満たすか判定するプログラム - 理科" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/f/fujidig/20191209/20191209174332.jpg Hatena Blog https://hatena.blog 2019-12-09 18:00:35 rich https://fujidig.hatenablog.com/entry/2019/12/09/180035 1.0 100%