Description
이 책은 수리논리학의 한 분야인 모델론을 소개하는 입문서이다.
수리논리학은 오늘날 매우 다양한 분야가 존재하는데 전통적으로는 크게 집합론, 모델론, 재귀론, 증명론 등으로 나뉜다. 모델론은 최근 수학의 주요 핵심 분야인 대수학, 정수론, 조합론 등과 연계하여 뛰어난 성과를 내며 진보하고 있다. 이 책은 이러한 현대 모델론을 공부할 수 있게 안내하는 국내 최초의 교과서이며 새로운 접근의 결과도 서술한 연구서이기도 하다. 여러 가지 연구들을 소개하고 있으며, 수리논리학을 공부하는 연구자뿐 아니라, 수학을 전공하면서 모델론을 이해하려는 학자들에게도 필요한 주제를 다루고 있는 책이다.
수리논리학은 오늘날 매우 다양한 분야가 존재하는데 전통적으로는 크게 집합론, 모델론, 재귀론, 증명론 등으로 나뉜다. 모델론은 최근 수학의 주요 핵심 분야인 대수학, 정수론, 조합론 등과 연계하여 뛰어난 성과를 내며 진보하고 있다. 이 책은 이러한 현대 모델론을 공부할 수 있게 안내하는 국내 최초의 교과서이며 새로운 접근의 결과도 서술한 연구서이기도 하다. 여러 가지 연구들을 소개하고 있으며, 수리논리학을 공부하는 연구자뿐 아니라, 수학을 전공하면서 모델론을 이해하려는 학자들에게도 필요한 주제를 다루고 있는 책이다.
모델론의 기초 (수학논리학 모델론의 기초이론)
$29.03