컨텐츠 시작
학술대회/행사
초록검색
| 제출번호(No.) | 0250 |
|---|---|
| 분류(Section) | Special Session |
| 분과(Session) | (SS-04) Mathematical Logic and Its Applications (SS-04) |
| 발표시간(Time) | 19th-A-10:30 -- 11:00 |
| 영문제목 (Title(Eng.)) |
Existence of pre-independence relations induced by Morley sequences |
| 저자(Author(s)) |
Joonhee Kim1, Byunghan Kim2, Hyoyoon Lee2 KIAS1, Yonsei University2 |
| 초록본문(Abstract) | We discuss a method for inducing pre-independence relations using Morley sequences generated by given pre-independence relations. We will also discuss how we can define 'smallness' and 'independence' in a given mathematical structure using non-forking independence and report a recent result related to this that holds in an arbitrary NSOP1 theory. |
| 분류기호 (MSC number(s)) |
03C95 |
| 키워드(Keyword(s)) | Pre-independence relations, forking, Morley sequence, NSOP1 |
| 강연 형태 (Language of Session (Talk)) |
Korean |