{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T05:55:06Z","timestamp":1716357306135},"reference-count":24,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2010,1,15]],"date-time":"2010-01-15T00:00:00Z","timestamp":1263513600000},"content-version":"vor","delay-in-days":14,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (<jats:bold>IP<\/jats:bold>) does not imply its outer form (<jats:bold>OP<\/jats:bold>). We also show that <jats:bold>OP<\/jats:bold> can be properly split into <jats:bold>IP<\/jats:bold> and the weak Pasch axiom (<jats:bold>WP<\/jats:bold>) (\u00a9 2010 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200810032","type":"journal-article","created":{"date-parts":[[2010,1,15]],"date-time":"2010-01-15T18:25:20Z","timestamp":1263579920000},"page":"29-34","source":"Crossref","is-referenced-by-count":8,"title":["Forms of the Pasch axiom in ordered geometry"],"prefix":"10.1002","volume":"56","author":[{"given":"Victor","family":"Pambuccian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,1,15]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01472203"},{"key":"e_1_2_1_3_2","unstructured":"W. A.Coppel Foundations of Convex Geometry. Australian Mathematical Society Lecture Series 12. (Cambridge University Press 1998)."},{"key":"e_1_2_1_4_2","unstructured":"H. S. M.Coxeter Introduction to Geometry. Wiley Classics Library (Wiley 1989)."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01231001"},{"key":"e_1_2_1_6_2","unstructured":"H. N.Gupta Contributions to the axiomatic foundations of geometry. Ph. D. Thesis Univ. of California (Berkeley 1965)."},{"key":"e_1_2_1_7_2","first-page":"435","article-title":"Ordered projective geometries based on the notion of betweenness","volume":"7","author":"Kroll H.\u2010J.","year":"1984","journal-title":"Rend. Sem. Mat. Brescia,"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"\u00dc.Lumiste Relationship between join and betweenness geometries. In: Proc. Estonian Acad. Sci. Phys. Math. 54 pp. 131\u2013153 (2005).","DOI":"10.3176\/phys.math.2005.3.01"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.2307\/420956"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"S.Negri J.von Plato Structural Proof Theory. (Cambridge University Press 2001).","DOI":"10.1017\/CBO9780511527340"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01226859"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01222689"},{"key":"e_1_2_1_13_2","unstructured":"M.Pasch Vorlesungen \u00fcber neuere Geometrie. 2. Auflage (Springer\u2010Verlag 1926)."},{"key":"e_1_2_1_14_2","unstructured":"G.Peano I principii di geometria logicamente esposti (Fratelli Bocca editori 1889) (also G. Peano Opere scelte vol. II Edizione Cremonese Roma 1958 pp. 56\u201091)."},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"G.Pickert Projektive Ebenen. 2. Auflage (Springer\u2010Verlag 1975).","DOI":"10.1007\/978-3-642-66148-8_2"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.2307\/2311904"},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"W.Schwabh\u00e4user W.Szmielew andA.Tarski Metamathematische Methoden in der Geometrie. (Springer\u2010Verlag 1983).","DOI":"10.1007\/978-3-642-69418-9"},{"key":"e_1_2_1_18_2","first-page":"491","article-title":"Independence of Pasch's axiom","volume":"18","author":"Szczerba L. W.","year":"1970","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"e_1_2_1_19_2","first-page":"845","article-title":"A paradoxical model of Euclidean affine geometry","volume":"20","author":"Szczerba L. W.","year":"1972","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"e_1_2_1_20_2","first-page":"759","article-title":"A statement on two circles as the geometric analog of Euclid's field property","volume":"18","author":"Szmielew W.","year":"1970","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.4064\/fm-107-1-47-56","article-title":"Concerning the order and the semi\u2010order of n\u2010dimensional Euclidean space","volume":"107","author":"Szmielew W.","year":"1980","journal-title":"Fund. Math."},{"key":"e_1_2_1_22_2","unstructured":"W.Szmielew From Affine to Euclidean Geometry (D. Reidel 1983; PWN 1983)."},{"key":"e_1_2_1_23_2","first-page":"1","article-title":"\u00dcber die Beweisbarkeit einiger Anordnungsaussagen in geometrischen Axiomensystemen","volume":"26","author":"Tudeberg A.","year":"1934","journal-title":"Acta Comment. Univ. Dorpat A, Math., phys. med."},{"key":"e_1_2_1_24_2","first-page":"409","article-title":"\u00dcber nicht\u2010archimedische Algebra","volume":"16","author":"Th. Vahlen K.","year":"1907","journal-title":"Jahresber. Deutsche Math. Verein."},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.2307\/1986462"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200810032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200810032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T12:35:10Z","timestamp":1700570110000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200810032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1002\/malq.200810032"],"URL":"https:\/\/doi.org\/10.1002\/malq.200810032","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}