{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:31Z","timestamp":1706649031421},"reference-count":32,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,7,1]]},"DOI":"10.1215\/00294527-2009-010","type":"journal-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T14:07:39Z","timestamp":1257862059000},"source":"Crossref","is-referenced-by-count":10,"title":["A Reverse Analysis of the Sylvester-Gallai Theorem"],"prefix":"10.1215","volume":"50","author":[{"given":"Victor","family":"Pambuccian","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Arana, A., \"Logical and semantic purity\", pp. 40--52 in <i>Philosophy of Mathematics. Set Theory, Measuring Theories, and Nominalism<\/i>, edited by G. Preyer and G. Peter, Ontos Verlag, Frankfurt, 2008.","DOI":"10.1515\/9783110323689.40"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Borwein, P., and W. O. J. Moser, \"A survey of Sylvester's problem and its generalizations\", <i>Aequationes Mathematicae<\/i>, vol. 40 (1990), pp. 111--35.","DOI":"10.1007\/BF02112289"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Chen, X., \"The Sylvester-Chv\u00e1tal theorem\", <i>Discrete &amp; Computational Geometry<\/i>, vol. 35 (2006), pp. 193--99.","DOI":"10.1007\/s00454-005-1216-9"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Chv\u00e1tal, V., \"Sylvester-Gallai theorem and metric betweenness\", <i>Discrete &amp; Computational Geometry<\/i>, vol. 31 (2004), pp. 175--95.","DOI":"10.1007\/s00454-003-0795-6"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Coxeter, H. S. M., \"A problem of collinear points\", <i>The American Mathematical Monthly<\/i>, vol. 55 (1948), pp. 26--28.","DOI":"10.2307\/2305324"},{"key":"6","unstructured":"[6] Coxeter, H. S. M., <i>The Real Projective Plane<\/i>, 2d edition, Cambridge University Press, New York, 1960."},{"key":"7","unstructured":"[7] Coxeter, H. S. M., <i>Introduction to Geometry<\/i>, 2d edition, John Wiley &amp; Sons Inc., New York, 1969."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Detlefsen, M., \"Purity as an ideal of proof\", pp. 179--97 in <i>The Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199296453.003.0008"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Hallett, M., \"Reflections on the purity of method in Hilbert's <i>Grundlagen der Geometrie<\/i>\", pp. 198--255 in <i>The Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199296453.003.0009"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Huntington, E. V., and J. R. Kline, \"Sets of independent postulates for betweenness\", <i>Transactions of the American Mathematical Society<\/i>, vol. 18 (1917), pp. 301--25. \\zhrefhttp:\/\/www.emis.de\/cgi-bin\/MATH-item?46.1429.02, JFM 46.1429.02.","DOI":"10.2307\/1988957"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Joussen, J., \"Die Anordnungsf\u00e4higkeit der freien Ebenen\", <i>Abhandlungen aus dem Mathematischen Seminar der Universit\u00e4t Hamburg<\/i>, vol. 29 (1966), pp. 137--84.","DOI":"10.1007\/BF03016046"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Joussen, J., \"Eine Bemerkung zu einem Satz von Sylvester\", <i>Results in Mathematics<\/i>, vol. 7 (1984), pp. 190--91.","DOI":"10.1007\/BF03322503"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Kalhoff, F., \"Eine Kennzeichnung anordnungsf\u00e4higer Tern\u00e4rk\u00f6rper\", <i>Journal of Geometry<\/i>, vol. 31 (1988), pp. 100--113.","DOI":"10.1007\/BF01222390"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Mendris, R., and P. Zlato\u0161, \"Axiomatization and undecidability results for metrizable betweenness relations\", <i>Proceedings of the American Mathematical Society<\/i>, vol. 123 (1995), pp. 873--82.","DOI":"10.2307\/2160813"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Menger, K., \"Untersuchungen \u00fcber allgemeine Metrik\", <i>Mathematische Annalen<\/i>, vol. 100 (1928), pp. 75--163.","DOI":"10.1007\/BF01448840"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Moszy\u0144ska, M., \"Theory of equidistance and betweenness relations in regular metric spaces\", <i>Fundamenta Mathematicae<\/i>, vol. 96 (1977), pp. 17--29.","DOI":"10.4064\/fm-96-1-17-29"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Pambuccian, V., \"Splitting the Pasch axiom\", <i>Journal of Geometry<\/i>, vol. 56 (1996), pp. 126--30.","DOI":"10.1007\/BF01222689"},{"key":"20","unstructured":"[20] Pambuccian, V., \"Fragments of Euclidean and hyperbolic geometry\", <i>Scientiae Mathematicae Japonicae<\/i>, vol. 53 (2001), pp. 361--400."},{"key":"21","unstructured":"[21] Pambuccian, V., \"A methodologically pure proof of a convex geometry problem\", <i>Beitr\u00e4ge zur Algebra und Geometrie<\/i>, vol. 42 (2001), pp. 401--406."},{"key":"22","unstructured":"[22] Pambuccian, V., \"Elementary versions of the Sylvester-Gallai theorem\", <i>Beitr\u00e4ge zur Algebra und Geometrie<\/i>, vol. 49 (2008), pp. 335--39."},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Prestel, A., \"Euklidische Geometrie ohne das Axiom von Pasch\", <i>Abhandlungen aus dem Mathematischen Seminar der Universit\u00e4t Hamburg<\/i>, vol. 41 (1974), pp. 82--109.","DOI":"10.1007\/BF02993503"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] \u0160imko, J., \"Metrizable and $\\mathbbR$\"-metrizable betweenness spaces, <i>Proceedings of the American Mathematical Society<\/i>, vol. 127 (1999), pp. 323--25.","DOI":"10.1090\/S0002-9939-99-04515-3"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Sperner, E., \"Die Ordnungsfunktionen einer Geometrie\", <i>Mathematische Annalen<\/i>, vol. 121 (1949), pp. 107--30.","DOI":"10.1007\/BF01329620"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Tarski, A., \"A general theorem concerning primitive notions of Euclidean geometry\", <i>Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings Series A. vol. 59; Indagationes Mathematicae<\/i>, vol. 18 (1956), pp. 468--74.","DOI":"10.1016\/S1385-7258(56)50063-7"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Veblen, O., \"A system of axioms for geometry\", <i>Transactions of the American Mathematical Society<\/i>, vol. 5 (1904), pp. 343--84. \\zhrefhttp:\/\/www.emis.de\/cgi-bin\/MATH-item?35.0495.02, JFM 35.0495.02.","DOI":"10.2307\/1986462"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Hilbert, D., \"\u00dcber den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck\", pp. 50--68 in <i>Proceedings of the London Mathematical S<\/i>ociety, vol. 35, 1903. \\zhrefhttp:\/\/www.emis.de\/cgi-bin\/MATH-item?34.0524.01, JFM 34.0524.01.","DOI":"10.1112\/plms\/s1-35.1.50"},{"key":"11","unstructured":"[11] Hilbert, D., <i>Vorlesungen \u00fcber die Grundlagen der Geometrie<\/i>, edited by H. V. Schaper, Wintersemester 1898--1899."},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Pambuccian, V., \"Forms of the Pasch axiom in ordered geometry\", forthcoming in <i>Mathematical Logic Quarterly<\/i>, vol. 56 (2010).","DOI":"10.1007\/BF01222689"},{"key":"24","unstructured":"[24] Peano, G., \"I principii di geometria logicamente esposti\", (1889). \\zhrefhttp:\/\/www.emis.de\/cgi-bin\/MATH-item?21.0524.01, JFM 21.0524.01."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Peckhaus, V., \"Regressive analysis\", pp. 97--110 in <i>Philosophiegeschichte und logische Analyse. Logical Analysis and History of Philosophy<\/i>, edited by U. Meixner and A. Neven, vol. 5, Mentis, Paderborn, 2002.","DOI":"10.30965\/26664275-00501007"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Steinberg, R., \"Three point collinearity\", <i>American Mathematical Monthly<\/i>, vol. 51 (1944), pp. 169--71.","DOI":"10.2307\/2303021"},{"key":"30","unstructured":"[30] Sylvester, J. J., \"Mathematical question 11851\", <i>Educational Times<\/i>, vol. 59 (1893), p. 98."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:18Z","timestamp":1706648238000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-3\/A-Reverse-Analysis-of-the-Sylvester-Gallai-Theorem\/10.1215\/00294527-2009-010.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,1]]},"references-count":32,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-010","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,7,1]]}}}