Constructive models - Ershov, Yuri L. (Siberian school of algebra and logic, 2000)