Rectilinearization of functions definable by a Weierstrass system and its applications
Volume 99 / 2010
Annales Polonici Mathematici 99 (2010), 129-141 MSC: Primary 32S45, 32B20; Secondary 14P15, 03C10. DOI: 10.4064/ap99-2-2
This paper presents several theorems on the rectilinearization of functions definable by a convergent Weierstrass system, as well as their applications to decomposition into special cubes and quantifier elimination.