Almost real closed fields with real analytic structure

Kien Huu Nguyen, Mathias Stout, Floris Vermeulen

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\ma…