Groups and plane geometry

Research output: Contribution to journalArticlepeer-review

12 Scopus citations


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
Issue number3
StatePublished - Dec 1 2005


  • 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


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

Cite this