Ternary operations as primitive notions for plane geometry II

Mathematical Logic Quarterly 38 (1):345-348 (1992)
  Copy   BIBTEX

Abstract

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380132

Other Versions

reprint Pambuccian, Victor (1992) "Ternary operations as primitive notions for plane geometry II". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38(1):345-348

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,756

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 Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.
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 V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.
Ternary Operations as Primitive Notions for Constructive Plane Geometry.Victor Pambuccian - 1989 - Mathematical Logic Quarterly 35 (6):531-535.
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.
Corrections to “Ternary operations as primitive notions for constructive plane geometry III, V, VI”.V. Pambuccian - 2001 - Mathematical Logic Quarterly 47:136.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.

Analytics

Added to PP
2013-11-03

Downloads
38 (#668,403)

6 months
4 (#1,022,564)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.

Add more citations

References found in this work

No references found.

Add more references