Logic Seminar - Alex Savatovsky

Logic Seminar
Tue, May 14, 2019
2:00 pm - 3:00 pm
Math Tower 154

Title: Expansions of the real that do not define new smooth functions

Speaker: Alex Savatovsky (University of Konstanz)

Abstract: We will give some conditions under which an expansion of the real field does not define any new (that is, not semialgebraic) infinitely differentiable functions. We will give a very rough sketch of the proof and discuss generalizations.