이번에 들어가려는 랩이 형식논리학 분야를 많이 쓰던거 같은데 랩 교수님이랑 상담해보니까 여력이 있으면 모델 이론 정도는 공부하고 들어오는 게 괜찮을 거 같다고 합니다.
기초적인 기호논리학을 학부때 공부해본 적이 있긴 한데 그거 외에는 고등학교 이후로 수학을 따로 공부해본 적이 없습니다. 여기서 여쭤볼 게
1. 모델 이론이라는 게 정확히 어떤 내용을 다루는 학문인가요? 그리고 수학적인 기초가 없으면 공부하기 많이 힘들까요?
2. 모델 이론 입문서 중에 괜찮은 책 있으면 추천 부탁드립니다.
수학하는 사람 중에 들여다본 사람 거의 없을 듯 ㅋㅋ
한국에도 그런 랩이 있나요?
윌프리드 호지스의 A shorter model theory 추천합니다.
Marker - Model Theory 많이들 보던데 이쪽 공부 안해봤으면 어려울거고 일단 Cameron - Sets, Logic and Categories같은 거 먼저 봐보셈
언어학 관련 랩에서 모델 이론...? 무슨 내용일지 감도 안 잡히네