Tue, April 21, 2026
1:50 pm - 3:00 pm
Dulles Hall 027
Leo Jimenez
The Ohio State University
Title
Pfaffian functions and model theory
Abstract
Pfaffian functions, which are defined as solutions of triangular systems of order one polynomial differential equations, have played an important role in the model theory of the real field, thanks to their global finiteness properties. However, determining whether solutions of a given differential equation are Pfaffian remains a problem. In this talk, I will discuss some joint work with James Freitag and Ronnie Nagloo, which uses model-theoretic tools to find criteria for a function being Pfaffian.