Entries from 2009-10-25 to 1 day
後でやろうと思っていた hyperdoctrinal model による Kripke model の再構成をやってみました。少しは理解が進んだと思いたい。 元になる意味論 constant domain model が与えられたとき、 が定義される。ここで W は集合、R はその上の関係 D は集合 I は…
後でやろうと思っていた hyperdoctrinal model による Kripke model の再構成をやってみました。少しは理解が進んだと思いたい。 元になる意味論 constant domain model が与えられたとき、 が定義される。ここで W は集合、R はその上の関係 D は集合 I は…