A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
This article points out some remarkable facts implicit in the results of Lojasiewicz [LI] and Gabrielov [Ga].An important consequence of Tarski's work [T] on the elementary theory of the reals is a characterization of the sets which are elementarily definable from addition and multiplication on R. Allowing arbitrary reals as …