7 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)387-398
Number of pages12
JournalStudia Logica
Volume81
Issue number3
DOIs
StatePublished - Dec 1 2005

Keywords

  • Erlanger Programm
  • Group actions
  • Groups generated by involutions
  • Line reflections
  • Metric planes
  • Mutually interpretable theories

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science

Fingerprint Dive into the research topics of 'Groups and plane geometry'. Together they form a unique fingerprint.

Cite this