Geometry vs arithmetic: what logic can say about their difficulty
- Date: Wednesday 8 February 2017, 16:00 – 17:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Pure Mathematics seminars, Postgraduate logic seminars, Seminar series
- Cost: Free
Erick Garcia Ramirez, University of Leeds. Part of the postgraduate logic seminar series.
This talk will start by surveying the results on decidability of (the typical theories of) geometry (real field) and arithmetic (ring of integers). I will then dig into the consequences of such results for other structures commonly studied in geometry and number theory. My aim is to offer a glimpse of the interactions between logic and classical areas of mathematics.
Erick Garcia Ramirez, University of Leeds