Switch to: References

Add citations

You must login to add citations.
  1. A Reverse Analysis of the Sylvester-Gallai Theorem.Victor Pambuccian - 2009 - Notre Dame Journal of Formal Logic 50 (3):245-260.
    Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A constructive version of Tarski's geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.
    Download  
     
    Export citation  
     
    Bookmark   2 citations