Michael Tychonievich : A Nondefinability Result for Expansions of the Real Field by a Single Logarithmic Spiral

Posted by , part of the Louise Hay Logic Seminar.

At

Feb. 18, 2010, 3 p.m.

In

SEO 612

Abstract

Let a be a real number and let R be the expansion of the real field by the logarithmic spiral {(t,t^{1+ia}): t > 0} and a. Then for any real b such that a and b are linearly independent over the rationals, R defines no arc of the power function. As a consequence, R defines no arc of either the sine function or the exponential function.

We will have tea starting at 3:00. The talk shall begin shortly thereafter.