Seminar: James Borger - Scheme theory over semirings (Dec 3, 2025)