(1) Department of Integrative Studies, Arizona State University, West Campus, P. O. Box 37100, Phoenix, AZ, 85069-7100, U.S.A.
Abstract:
We show that the first-order theory of a large class of plane geometries and the first-order theory of their groups of motions, understood both as groups with a unary predicate singling out line-reflections, and as groups acting on sets, are mutually inter-pretable. Presented by Robert Goldblatt