TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

Research output: Contribution to journalArticle

9 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)345-348
Number of pages4
JournalMathematical Logic Quarterly
Volume38
Issue number1
DOIs
StatePublished - 1992
Externally publishedYes

Fingerprint

Ternary
Axioms
Binary
Language

Keywords

  • axiomatization of plane geometry
  • definability in geometry
  • Foundations of plane geometry

ASJC Scopus subject areas

  • Logic

Cite this

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II. / Pambuccian, Victor.

In: Mathematical Logic Quarterly, Vol. 38, No. 1, 1992, p. 345-348.

Research output: Contribution to journalArticle

@article{22a570c48b054366ba8c1d723a5bfea3,
title = "TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II",
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.",
keywords = "axiomatization of plane geometry, definability in geometry, Foundations of plane geometry",
author = "Victor Pambuccian",
year = "1992",
doi = "10.1002/malq.19920380132",
language = "English (US)",
volume = "38",
pages = "345--348",
journal = "Mathematical Logic Quarterly",
issn = "0942-5616",
publisher = "Wiley-VCH Verlag",
number = "1",

}

TY - JOUR

T1 - TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

AU - Pambuccian, Victor

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

KW - axiomatization of plane geometry

KW - definability in geometry

KW - Foundations of plane geometry

UR - http://www.scopus.com/inward/record.url?scp=84981416645&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84981416645&partnerID=8YFLogxK

U2 - 10.1002/malq.19920380132

DO - 10.1002/malq.19920380132

M3 - Article

AN - SCOPUS:84981416645

VL - 38

SP - 345

EP - 348

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

SN - 0942-5616

IS - 1

ER -