Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  United Kingdom

University of Warwick, UK, Warwick Mathematics Institute

The space of real numbers, although arguably a familiar space for people thinking mathematically, plays host to scary and intuition-defying objects such as the Cantor set and the Weierstrass function. O-minimal geometry provides a framework for studying sets and functions with tame topological and geometric properties, generalizing semi-algebraic and subanalytic geometry, while retaining key finiteness conditions. Over the years, o-minimality has had applications in a wide range of areas such as diophantine geometry, Hodge theory, theoretical computer science, combinatorics, dynamical systems, physics, and machine learning, where it has been essential to go beyond just algebraic sets while at the same time having control over complexity and structure. This conference will explore recent advances in o-minimal geometry and its interactions with other areas. Talks will cover both foundational aspects and emerging directions, highlighting new perspectives and open problems.

Email: omigawd2025@gmail.com

o-minimal geometry, logic, model theory, o-minimality