もうひとつ「おもしろいみろん」経由で

[PDF]武市先生の講義資料を読んでみたんですが。情報の確かさ・細かさを基準に順序集合を作るって、まるっきりforcingと同じじゃないですか。completeとかproductとかも定義が同じ。このあたり、D.Scottはどう認識していたんでしょうね。