위키백과

보존적 확장: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
TedBot (토론 | 기여)
봇, 업로더
2,893,495 편집
잔글 봇: 틀 이름 및 스타일 정리
잔글편집 요약 없음
10번째 줄:
 
만약 다음 조건이 성립한다면, <math>\mathcal T'</math>이 <math>\mathcal T</math>의 '''모형 이론적 보존적 확장'''({{llang|en|model-theoretic conservative extension}})이라고 한다.
* 임의의 <math>\mathcal L</math>-[[구조 (논리학)|구조]] <math>M</math>에 대하여 <math>M\models\mathcal T</math>라면, <math>M'|_{\mathcal L_1L}=M</math>이자 <math>M'\models\mathcal T'</math>인 <math>\mathcal L'</math>-[[구조 (논리학)|구조]] <math>M'</math>이 항상 존재한다. (그러나 이는 유일할 필요는 없다.)
 
== 성질 ==
원본 주소 "https://ko.wikipedia.org/wiki/보존적_확장"