Groups and Plane Geometry

Studia Logica 81 (3):387-398 (2005)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-4650-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
Notes on Groups and Geometry, 1978-1986.Steven H. Cullinane - 2012 - Internet Archive.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):345-348.
Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.
On the relationship between plane and solid geometry.Andrew Arana & Paolo Mancosu - 2012 - Review of Symbolic Logic 5 (2):294-353.
Geometry as an extension of the group theory.A. Prusińska & L. Szczerba - 2002 - Logic and Logical Philosophy 10:131.
Corrections to “Ternary operations as primitive notions for constructive plane geometry III, V, VI”.V. Pambuccian - 2001 - Mathematical Logic Quarterly 47:136.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.

Analytics

Added to PP
2009-01-28

Downloads
24 (#650,558)

6 months
4 (#783,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing geometric constructions.Victor Pambuccian - 2008 - Journal of Applied Logic 6 (1):24-46.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.

Add more citations

References found in this work

Geometry as an extension of the group theory.A. Prusińska & L. Szczerba - 2002 - Logic and Logical Philosophy 10:131.

Add more references