모형 이론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수리논리학에서 모형 이론(模型理論, 영어: model theory)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이다.

응용[편집]

보편 대수학은 모형 이론의 특수한 경우이며, 언어가 (등식 이외의) 관계를 포함하지 않고, 모든 공리가 방정식적인 이론의 모형들을 다룬다.

비표준 해석학은 모형 이론을 사용하여 실수1차 논리 이론의 비표준적인 모형인 초실수를 연구한다. 이를 통해, 실수에 대한 일부 정리를 간단하게 증명할 수 있다.

참고 문헌[편집]

바깥 고리[편집]

같이 보기[편집]