카테고리:모델 이론
Category
모델 이론은 공식 이론(수학적 구조에 대한 진술을 표현하는 공식 언어의 문장 모음)과 모델(이론의 진술이 유지되는 구조) 사이의 관계에 대한 연구입니다.조사된 측면에는 이론의 모델 수와 크기, 서로 다른 모델의 관계, 공식 언어 자체와의 상호 작용이 포함됩니다.특히, 모델 이론가들은 이론의 모델에서 정의될 수 있는 집합들과 그러한 정의 가능한 집합들의 상호 관계를 조사하기도 합니다.
모델 이론은 공식 이론(수학적 구조에 대한 진술을 표현하는 공식 언어의 문장 모음)과 모델(이론의 진술이 유지되는 구조) 사이의 관계에 대한 연구입니다.조사된 측면에는 이론의 모델 수와 크기, 서로 다른 모델의 관계, 공식 언어 자체와의 상호 작용이 포함됩니다.특히, 모델 이론가들은 이론의 모델에서 정의될 수 있는 집합들과 그러한 정의 가능한 집합들의 상호 관계를 조사하기도 합니다.
