Rectilinearization of functions definable by a Weierstrass system and its applications

Krzysztof Jan Nowak · Annales Polonici Mathematici · 2010

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.

Read the paper · More papers on PaperTik