↓これの続きです。 cut-elimination.hatenablog.com 今回は安定関数が出てくるはずです。 用語の整理 いろいろ用語、記法が出てきている。 用語・記法:整合空間 の要素を の点(point)という。 のクリークを整合部分集合(coherence subset)とも言う。点とは即ち整合部分集合である。また、 の点のうち有限集合であるものの集合を と書く。 もうちょっと定義っぽい定義も出てくる。 定義: の近似(approximant)とは、任意の の部分集合 である。有限近似とは近似のうち有限集合であるもの。 整合空間の定義1)より、近似も の要素である。 有限近似の性…