今度の数理論理学セミナーの「Lindstrom拡大の定義可能性について」の話ちょっと気になる。 有限モデルに制限すると一階述語論理でも推移閉包を表現できたりするので、あんまし有限モデルでの一階述語論理の表現力が乏しいという印象は持っていなかったけれど、乏しいのか。 あと、Lindström quantifier って知らなかったけど、なるほど、そういうのあるのね。 https://en.wikipedia.org/wiki/Lindstr%C3%B6m_quantifier