Switch to: Citations

Add references

You must login to add references.
  1. The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
    Using the axiom system provided by Carsten Augat in [1], it is shown that the only 6-variable statement among the axioms of the axiom system for plane hyperbolic geometry (in Tarski's language L B =), we had provided in [3], is superfluous. The resulting axiom system is the simplest possible one, in the sense that each axiom is a statement in prenex form about at most 5 points, and there is no axiom system consisting entirely of at most 4-variable statements.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Dimension in Elementary Euclidean Geometry.Dana Scott - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Simplicity.Victor Pambuccian - 1988 - Notre Dame Journal of Formal Logic 29 (3):396-411.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
    We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations