Models of arithmetic and the 1-3-1 lattice
Volume 95 / 1977
Fundamenta Mathematicae 95 (1977), 195-199
DOI: 10.4064/fm-95-3-195-199