A remark on Zilber's pseudoexponentiation

نویسنده

  • David Marker
چکیده

Proof If Cexp is model complete, then every definable set is a projection of a closed set. Since C is locally compact, every definable set is Fσ. The same is true for the complement, so every definable set is also Gδ. But, since Z is definable, Q is definable and a standard corollary of the Baire Category Theorem tells us that Q is not Gδ. Still, there are several interesting open questions about Cexp. • Is R definable in Cexp? ∗Partially supported by NSF grant DMS-0200393. This work was completed while I was a member of the Isaac Newton Institute for the Mathematical Sciences and I am grateful for their support.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Henson and Rubel's theorem for Zilber's pseudoexponentiation

In 1984, Henson and Rubel proved the following theorem: If p(x1, ..., xn) is an exponential polynomial with coefficients in C with no zeroes in C, then p(x1, ..., xn) = e g(x1,...,xn) for some exponential polynomial g(x1, ..., xn) over C. In this paper, I will prove the analog of this theorem for Zilber’s Pseudoexponentiation directly from the axioms. Furthermore, this proof relies only on the ...

متن کامل

A remark on boundedness of composition operators between weighted spaces of holomorphic functions on the upper half-plane

In this paper, we obtain a sucient condition for boundedness of composition operators betweenweighted spaces of holomorphic functions on the upper half-plane whenever our weights are standardanalytic weights, but they don't necessarily satisfy any growth condition.

متن کامل

A short remark on the result of Jozsef Sandor

It is pointed out that, one of the results in the recently published article, ’On the Iyengar-Madhava Rao-Nanjundiah inequality and it’s hyperbolic version’ [3] by J´ozsef S´andor is logically incorrect and new corrected result with it’s proof is presented.

متن کامل

A remark on the means of the number of divisors

‎We obtain the asymptotic expansion of the sequence with general term $frac{A_n}{G_n}$‎, ‎where $A_n$ and $G_n$ are the arithmetic and geometric means of the numbers $d(1),d(2),dots,d(n)$‎, ‎with $d(n)$ denoting the number of positive divisors of $n$‎. ‎Also‎, ‎we obtain some explicit bounds concerning $G_n$ and $frac{A_n}{G_n}$.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Log.

دوره 71  شماره 

صفحات  -

تاریخ انتشار 2006