Date | 2024-11-21 |
---|---|
Speaker | 이정욱 |
Dept. | 창원대학교 |
Room | 27-220 |
Time | 16:00-17:00 |
In this survey talk, we will explore a geography of Model Theory under the guidance of Classification Theory. First, we review basic first-order logic and several dividing lines developed in Classification Theory. Second, we will focus on Classification Theory for fields and examine some interactions between Field Arithmetic and dividing lines.