2014-12-22から1日間の記事一覧

うーん昨日書いたことは的を射てないような気がしてきた。 というのは、 V^{P}\models\phi というのはmetatheoryの\phiにしか定義されないということを考慮せずに昨日の記事を書いたから。 今読んでる論文はその辺のデリケートな話をひょいひょいとやってい…