기본 다이어그램

모델 이론의 수학적 분야에서, 구조의 기본 도표는 구조에서 참인 구조로부터 나온 매개변수를 가진 모든 문장의 집합이다.완전한 도표라고도 한다.

정의

M을 1차 언어 L의 구조가 되게 하라.확장 언어 L(M)은 M의 모든 요소에 대해 L에 상수 기호 c를 추가하여 얻는다_a.구조 M은 L의 기호를 이전과 같이 해석하는 L(M) 구조로 볼 수 있으며, 각각의 새로운 상수 c는_a 원소 a로 해석된다.M의 기본 도표는 M(Marker 2002:44)에서 참인 모든 L(M) 문장의 집합이다.

참고 항목

• 다이어그램(모델 이론)

참조

• Chang, Chen Chung; Keisler, H. Jerome (1989), Model Theory, Elsevier, ISBN 978-0-7204-0692-4
• Hodges, Wilfrid (1997), A shorter model theory, Cambridge University Press, ISBN 978-0-521-58713-6
• Marker, David (2002), Model Theory: An Introduction, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98760-6

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t