Building on recent work of Masser concerning algebraic values of the Riemann zeta function, we prove two general results about the scarcity of algebraic points on the graphs of certain restrictions of certain analytic functions. For any of the graphs to which our results apply and any positive integer d, we show that there are at most C (log H) 3+ε algebraic points of degree at most d and multiplicative height at most H on that graph. In particular, we obtain this conclusion for any restriction of Γ (z) or ζ(z) π z to a compact disk, answering questions from Masser's paper, the latter having been suggested by Pila. As in Masser's original work, the constant C may be effectively computed from certain data associated with the function in question.
Abstract. We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of Dolich, Miller and Steinhorn on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give a further characterisation in the special case of an expansion by a generic predicate.
Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M .
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.