Orthomodularity is not elementary (1984)

by R Goldblatt
Venue:The Journal of Simbolic Logic