컨텐츠 시작
학술대회/행사
초록검색
제출번호(No.) | 0168 |
---|---|
분류(Section) | Special Session |
분과(Session) | (SS-04) Mathematical Logic and Its Applications (SS-04) |
발표시간(Time) | 19th-B-14:00 -- 14:30 |
영문제목 (Title(Eng.)) |
Introduction to the Galois groups of first order theories and their relativization |
저자(Author(s)) |
Hyoyoon Lee1, Junguk Lee2 Yonsei University1, Changwon National University2 |
초록본문(Abstract) | The notion of Galois groups of first order theories, namely, the Lascar (Galois) groups and their quotient groups have played fundamental roles in the development of model theory. We will briefly introduce the Galois theoretic correspondence between the quotient groups of the Lascar group and model theoretic strong types, and then extend it to the relativized context, restricting our attention to the solution set of a partial type. |
분류기호 (MSC number(s)) |
03C60 (Primary) 54H11 (Secondary) |
키워드(Keyword(s)) | Galois groups of first order theories, model theoretic strong types, relativization |
강연 형태 (Language of Session (Talk)) |
Korean |