On models of arithmetic having non-modular substructure lattices A. Wilkie — 1977 Fundamenta Mathematicae