基本図

数学の分野であるモデル理論において、構造の基本図とは、その構造において真である、その構造からのパラメータを持つすべての文の集合である。完全図とも呼ばれる。

M を一階言語Lの構造とします。拡張言語L ( M ) は、 Mのすべての要素aに対して定数記号c _{a を}Lに追加することによって得られます。構造Mは、 L内の記号が以前と同じように解釈され、新しい定数c _aがそれぞれ要素aとして解釈されるL ( M ) 構造として考えることができます。 Mの基本図は、Mで真であるすべてのL ( M ) 文の集合です(Marker 2002:44)。

• 図（モデル理論）

• チャン、チェン・チュン;キースラー、H. ジェローム(1989)、モデル理論、エルゼビア、ISBN 978-0-7204-0692-4
• ホッジス、ウィルフリッド（1997）、「より短いモデル理論」、ケンブリッジ大学出版局、ISBN 978-0-521-58713-6
• マーカー、デイヴィッド（2002）、モデル理論：入門、Graduate Texts in Mathematics、ベルリン、ニューヨーク：Springer-Verlag、ISBN 978-0-387-98760-6