Rectilinearization of functions definable by a Weierstrass system and its applications
Tom 99 / 2010
Annales Polonici Mathematici 99 (2010), 129-141
MSC: Primary 32S45, 32B20; Secondary 14P15, 03C10.
DOI: 10.4064/ap99-2-2
Streszczenie
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.