有限模型論
有限模型論 (FMT) 是模型論 (MT) 的一個子領域。MT 是數理邏輯的一個分支，它處理形式語言 (語法) 及其解釋 (語義) 之間的關係。FMT 是將 MT 限制在有限結構上，例如有限圖或字串。由於許多 MT 的中心定理在限制到有限結構時不成立，因此 FMT 在方法和應用領域方面與 MT 大不相同。FMT 已成為計算機科學中的一種“非常有效的”工具，例如在資料庫理論、模型檢驗或用於獲得對計算複雜性的新視角中。
這裡介紹了 FMT 的三個主要領域：語言的表達能力、描述性複雜性和隨機結構。但首先，在 一階語言的層面上介紹了對所有領域都至關重要的結果。
基礎知識
為什麼? (動機)
它是什麼? (定義和背景)
為什麼它很特殊? (... 與 '普通' 模型論相比)
它是關於什麼的? (研究的典型邏輯和結構)
需要什麼? (預備知識)
從哪裡開始? (基本概念)
針對 FO 的 Ehrenfeucht-Fraisse 遊戲
問題 (屬性的可表達性)
想法 I (Fraisse 定理)
想法 II (Ehrenfeucht 遊戲)
工具 (Ehrenfeucht-Fraisse 方法)
一些實用程式 (區域性性)
一些解決方案 (針對某些結構)
複雜性？
語言的表達能力
典型問題：給定一個有限圖，是否可以用一階語言表達無環性的屬性？
描述性複雜性
隨機結構
