The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Workshop

An Introduction to Recent Applications of Model Theory

Arc-properties of functions definable in o-minimal structures.

Author: Soufflet R. (Lyon 1)


There are two topics at the base of this talk: arc-analytic functions (mostly studied in the subanalytic setting) and the relationships between o-minimal structures and Hardy fields. They lead us to study the following problem: for a function definable in some o-minimal structure (over the field of reals), what kind of property may be detected in restriction to some "small" space of definable arcs. We shall prove for instance that for most classical polynomially bounded o-minimal structures, continuity is equivalent to continuity on restriction to polynomial arcs. We will finish with problems of arc-definability for which we will give several open questions.