抽象モデル理論

数理論理学において、抽象モデル理論は、一階述語論理の拡張とそのモデルの一般的な性質を研究するモデル理論の一般化である。^{[ 1 ]}

抽象モデル理論は、幅広い論理体系とその関係性を俯瞰的に研究できるア​​プローチを提供する。^{[ 2 ]}抽象モデルの研究の出発点となり、優れた例を生み出したのはリンドストロームの定理である。^{[ 3 ]}

1974年にジョン・バーワイズは抽象モデル理論の公理化を提供した。^{[ 4 ]}

• リンドストロームの定理
• 所属機関（コンピュータサイエンス）
• 制度モデル理論

• ジョン・バーワイズ、ソロモン・フェファーマン（1985）。モデル理論論理。シュプリンガー・フェルラーク。ISBN 978-0-387-90936-3。