전이 모델

수학 세트 이론에서 전이 모델은 표준적이고 전이적인 세트 이론의 모델이다.표준은 멤버십 관계가 통상적인 것임을 의미하며, 전이적 의미는 모델이 타전적 집합 또는 클래스라는 것을 의미한다.

예

• 내부 모델은 모든 서수를 포함하는 전이 모델이다.
• 셀 수 있는 전이 모델(CTM)은 이름에서 알 수 있듯이, 셀 수 있는 수의 원소를 가진 전이 모델이다.

특성.

M이 전이 모델이라면 Ω은^M 표준 Ω이다.이것은 모형의 자연수, 정수 및 합리적인 숫자도 표준 그것과 동일하다는 것을 의미한다.모든 표준 실수가 특정 전이 모델에 포함될 필요는 없지만, 전이 모델의 각 실수는 표준 실적이다.

참조

• Jech, Thomas (2003). Set Theory. Springer Monographs in Mathematics (Third Millennium ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-540-44085-7. Zbl 1007.03002.