Date | Nov 21, 2024 |
---|---|
Speaker | 이정욱 |
Dept. | 창원대학교 |
Room | 129-101 |
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.