-
Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasian...
An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative... -
External definability and groups in NIP theories
28 pages. Introduction was expanded and some minor mistakes were corrected. Journal of the London Mathematical Society, accepted
