Logic seminar: Andrew Harrison-Migochi
| Dates: | 26 February 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Effective Lattice Point Counting
Abstract: Joint with Raymond McCulloch. We use recent developments in effective o-minimality to obtain an effective version of Barroero and Widmer's lattice point counting result in some expansions of the real field including the real exponential field. I will discuss on sharp o-minimality, the proof of Barroero and Widmer's lattice point counting, how we apply sharp o-minimality to obtain effectivity and to move from the restricted sub-Pfaffian setting to the real exponential field while maintaining effectivity.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
