비표준모델

Non-standard model

수학적 논리학 내의 학문인 모델 이론에서 비표준 모델의도된 모델(또는 표준 모델)에 대해 이형성이 없는 이론의 모델이다.[1]

존재

의도된 모델이 무한하고 언어가 일차적인 것이라면 뢰웬하임-스콜렘 이론은 비표준 모델의 존재를 보장한다. 비표준 모델은 의도된 모델의 기본 확장 또는 기본 하부 구조로 선택할 수 있다.

중요도

비표준 모델은 집합 이론, 비표준 분석비표준 산술 모델로 연구된다.

참고 항목

참조

  1. ^ Roman Kossak, 2004년 비표준 산술 및 세트 이론 American Matheical Soc.