- 68 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 01:44:23.59 ]
- >>57
その結果面白いね。
前スレで話題になっていた van Benthem's characterization theorem って、
ふたつの pointed model が modal equivalence であることと、
ultrafilter extension で bisimular であることが同値ってことだったけど、
一階述語論理にすると
ultrafilter extension → ultraproduct
bisimular → isomorphic
という類推ができる。それなのに様相論理では普通に証明できるのに、
一階述語論理については集合論的な公理が必要だとすると、不思議だねえ。
