K-subanalytic rectilinearization and uniformization
We prove rectilinearization and uniformization theorems for K-subanalytic (∝anK-definable) sets and functions using the Lion-Rolin formula. Parallel reasoning gives standard results for the subanalytic case.