| Date | Nov 21, 2024 |
|---|---|
| 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.