A reverse analysis of the Sylvester-Gallai theorem

DOI10.1215/00294527-2009-010zbMath1202.03023DBLPjournals/ndjfl/Pambuccian09OpenAlexW2070990914WikidataQ56454692 ScholiaQ56454692MaRDI QIDQ1049687

Victor V. Pambuccian

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2009-010

zbMATH Keywords

projective geometrygeneralized metric spacesSylvester-Gallai theoremPasch axiomreverse analysis

Mathematics Subject Classification ID

General theory of distance geometry (51K05) Foundations of classical theories (including reverse mathematics) (03B30) Configuration theorems in linear incidence geometry (51A20)

Related Items (6)

ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY ⋮ A constructive version of the Sylvester-Gallai theorem ⋮ FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ An axiomatic analysis of the Droz-Farny line theorem ⋮ Prolegomena to any theory of proof simplicity

This page was built for publication: A reverse analysis of the Sylvester-Gallai theorem