Louise Hay Logic Seminar
Michael Tychonievich
OSU
A Nondefinability Result for Expansions of the Real Field by a Single Logarithmic Spiral
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.
Thursday February 18, 2010 at 3:00 PM in SEO 612