Time: 10:00-11:00, Thursday, April 23 2026
Venue: E14-212
Speaker: Nuno Hultberg
Title: Uniformity through compactness
Abstract: To prove uniformity results in real algebraic geometry, one may use the compactness theorem in logic and instead prove a non-uniform result for arbitrary real closed fields. Such ideas can be applied in Diophantine geometry: One can prove a uniform result by instead proving a non-uniform result for arbitrary globally valued fields.
