Oswal, 2020. A non-archimedean definable Chow theorem.