이 책은 수리논리학의 한 분야인 모델론을 소개하는 입문서이다.
수리논리학은 오늘날 매우 다양한 분야가 존재하는데 전통적으로는 크게 집합론, 모델론, 재귀론, 증명론 등으로 나뉜다. 모델론은 최근 수학의 주요 핵심 분야인 대수학, 정수론, 조합론 등과 연계하여 뛰어난 성과를 내며 진보하고 있다. 이 책은 이러한 현대 모델론을 공부할 수 있게 안내하는 국내 최초의 교과서이며 새로운 접근의 결과도 서술한 연구서이기도 하다. 여러 가지 연구들을 소개하고 있으며, 수리논리학을 공부하는 연구자뿐 아니라, 수학을 전공하면서 모델론을 이해하려는 학자들에게도 필요한 주제를 다루고 있는 책이다.
서문
초보 집합론 요약
차례
제 1 장 수리논리학 기본이론 요약
1.1 1계논리
1.2 콤팩트성정리와 응용
1.3 연습문제
제 2 장 울트라곱과 콤팩트성정리
2.1 필터
2.2 울트라곱
2.3 콤팩트성정리 증명
2.4 연습문제
제 3 장 매입과 기본매입
3.1 매입과 동형사상
3.2 도해
3.3 기본매입
3.4 연습문제
제 4 장 소모델
4.1 타입
4.2 원자모델과 소모델
4.2.1 칸토어-벤딕손 급수
4.3 연습문제
제 5 장 포화모델과 동질모델
5.1 포화모델
5.2 동질모델과 보편모델
5.2.1 동질성과 기본사상
5.2.2 가산 포화모델과 동질모델
5.3 가산모델의 개수
5.4 연습문제
제 6 장 한정기호 제거
6.1 한정기호 제거 판별
6.2 대수적으로 닫힌 체
6.3 실체
6.4 모델-완전성
6.4.1 존재한정에 닫힘
6.5 응용
6.5.1 o-극소성
6.6 유한모델들의 합성과 한정제거
6.6.1 응용
6.7 연습문제
제 7 장 스콜렘 이론
7.1 균질열
7.1.1 램지의 정리와 균질열
7.2 스콜렘 함수
7.3 연습문제
제 8 장 몰리의 범주성정리
8.1 !-안정성과 소모델
8.2 보트의 짝
8.2.1 후계와 안정성
8.2.2 보트의 짝
8.3 강한 극소성
8.3.1 존재성
8.3.2 기저
8.3.3 범...주성정리 증명
8.4 몰리 급수
8.5 볼드윈-라클란 정리
8.6 연습문제
제 9 장 가름과 단순성
9.1 나눔과 가름
9.2 단순성과 독립성
9.2.1 몰리 열과 김의 보조정리
9.2.2 대칭성과 추이성
9.3 급수와 나무성질
9.4 가름의 기본정리
9.5 슈퍼단순성
9.5.1 급수
9.5.2 가산 슈퍼단순모델
9.6 연습문제
제 10 장 안정성
10.1 안정성과 정의가능성
10.2 허원과 Teq
10.3 가름과 안정성
10.3.1 급수와 안정성
10.4 연습문제
제 11 장 라스카 군과 타입
11.1 라스카 타입
11.2 타입융합
11.3 낮은 이론
11.4 라스카 위상군
11.4.1 라스카 군의 몫군
11.5 연습문제
참고문헌
찾아보기
전체 0개의 구매후기가 있습니다.
인터파크도서는 고객님의 단순 변심에 의한 교환과 반품에 드는 비용은 고객님이 지불케 됩니다.
단, 상품이나 서비스 자체의 하자로 인한 교환 및 반품은 무료로 반품 됩니다.
교환 및 반품이 가능한 경우
상품을 공급 받은 날로부터 7일이내 가능 공급받으신 상품의 내용이 표시, 광고 내용과 다르거나 다르게 이행된 경우에는 공급받은 날로부터 3개월 이내, 혹은 그사실을 알게 된 날 또는 알 수 있었던 날로부터 30일 이내 상품에 아무런 하자가 없는 경우 소비자의 고객변심에 의한 교환은 상품의 포장상태 등이 전혀 손상되지 않은 경우에 한하여 가능
교환 및 반품이 불가능한 경우
구매확정 이후(오픈마켓상품에 한함) 고객님의 책임 있는 사유로 상품 등이 멸실 또는 훼손된 경우
(단, 상품의 내용을 확인하기 위하여 포장 등을 훼손한 경우는 제외) 시간이 지남에 따라 재판매가 곤란할 정도로 물품의 가치가 떨어진 경우 포장 개봉되어 상품 가치가 훼손된 경우
다배송지의 경우 반품 환불
다배송지의 경우 다른 지역의 반품을 동시에 진행할 수 없습니다. 1개 지역의 반품이 완료된 후 다른 지역 반품을 진행할 수 있으므로, 이점 양해해 주시기 바랍니다.
중고상품의 교환
중고상품은 제한된 재고 내에서 판매가 이루어지므로, 교환은 불가능합니다.
오픈마켓 상품의 환불
오픈마켓상품에 대한 책임은 원칙적으로 업체에게 있으므로, 교환/반품 접수시 반드시 판매자와 협의 후 반품 접수를 하셔야하며, 반품접수 없이 반송하거나, 우편으로 보낼 경우 상품 확인이 어려워 환불이 불가능할 수 있으니 유의하시기 바랍니다.
배송예정일 안내
인터파크 도서는 모든 상품에 대해 배송완료예정일을 웹사이트에 표시하고 있습니다.
<인터파크 직배송 상품>
상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다.
상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며, 서울외지역/평일 주문분의 경우는 오후 6시까지 주문분에 대하여 익일 배송완료를 보장하는 상품입니다. (단, 월요일은 12시까지 주문에 한함)
상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다.
~
상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로 주문일+기준출고일+택배사배송일(1일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※기준출고일:인터파크가 상품을 수급하여 물류창고에서 포장/출고하기까지 소요되는 시간
<업체 직접배송/오픈마켓 상품>
~
상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다. 주문일+기준출고일+택배사배송일(2일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※5일이내 출고가 시작되지 않을시, 오픈마켓 상품은 자동으로 주문이 취소되며, 고객님께 품절보상금을 지급해 드립니다.
배송비 안내
도서(중고도서 포함)만 구매하시면 : 배송비 2,000원 (1만원이상 구매 시 무료배송) 음반/DVD만 구매하시면 : 배송비 1,500원 (2만원이상 구매 시 무료배송) 잡지/만화/기프트만 구매하시면 : 배송비 2,000원 (2만원이상 구매 시 무료배송) 도서와 음반/DVD를 함께 구매하시면 : 배송비 1,500원 1만원이상 구매 시 무료배송) 도서와 잡지/만화/기프트/중고직배송상품을 함께 구매하시면 : 2,000원 (1만원이상 구매 시 무료배송) 업체직접배송상품을 구매시 : 업체별로 상이한 배송비 적용
* 세트상품의 경우 부분취소 시 추가 배송비가 부과될 수 있습니다.
* 북카트에서 배송비없애기 버튼을 클릭하셔서, 동일업체상품을 조금 더 구매하시면, 배송비를 절약하실 수 있습니다.
해외배송 안내
인터파크도서에서는 국내에서 주문하시거나 해외에서 주문하여 해외로 배송을 원하실 경우 DHL과 특약으로 책정된 요금표에
의해 개인이 이용하는 경우보다 배송요금을 크게 낮추며 DHL(www.dhl.co.kr)로 해외배송 서비스를 제공합니다. 해외배송은 도서/CD/DVD 상품에 한해 서비스하고 있으며, 다른 상품을 북카트에 함께 담으실 경우 해외배송이 불가합니다.
해외주문배송 서비스는 인터파크 도서 회원 가입을 하셔야만 신청 가능합니다.
알아두세요!!!
도매상 및 제작사 사정에 따라 품절/절판 등의 사유로 취소될 수 있습니다. 오픈마켓업체의 배송지연시 주문이 자동으로 취소될 수 있습니다. 출고가능 시간이 서로 다른 상품을 함께 주문할 경우 출고가능 시간이 가장 긴 기준으로 배송됩니다. 유통의 특성상 출고기간은 예정보다 앞당겨지거나 늦춰질 수 있습니다. 택배사 배송일인 서울 및 수도권은 1~2일, 지방은 2~3일, 도서, 산간, 군부대는 3일 이상의 시간이 소요됩니다.
;)
전체 0개의 구매후기가 있습니다.
교환 및 반품이 가능한 경우 
상품을 공급 받은 날로부터 7일이내 가능 
상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다.
상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며,
상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다.
~ 
상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로
상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다.
