Geometry as an extension of the group theory

A. Prusińska, L. Szczerba

DOI: http://dx.doi.org/10.12775/LLP.2002.008

Abstract


Klein’s Erlangen program contains the postulate to study the group of automorphisms instead of a structure itself. This postulate, taken literally, sometimes means a substantial loss of information. For example, the group of automorphisms of the field of rational numbers is trivial. However in the case of Euclidean plane geometry the situation is different. We shall prove that the plane Euclidean geometry is mutually interpretable with the elementary theory of the group of authomorphisms of its standard model. Thus both theories differ practically in the language only.

Full Text:

PDF

References


Bachmann, F., “Aufbau der Geometrie aus dem Spiegelungsbegriff”, in Zweite ergänzte Auflage. Die Grundlehren der mathematischen Wissenschaften, Springer-Verlag, Berlin–New York, 1973.

Szczerba, L.W., “Interpretations of elementary theories”, in Logic Foundations of Mathematics and Computability Theory, Reidel 1977, Dordrecht, Boston, pp. 129–145.

Szmielew, W., From the Affine to Euclidean Geometry, PSP, Warsaw, 1983.

Tarski, A., “What is elementary geometry?”, pages 16–29 in Studies in Logic and the Foundation of Math., Proc. Internat. Sympos. (Univ. of Calif., Berkeley 1957/1958), North-Holland, Amsterdam 1959.








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism