{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:43Z","timestamp":1761611203908},"reference-count":20,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we provide quantifier\u2010free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some precisely defined sense these axiomatizations are the simplest possible.<\/jats:p>","DOI":"10.1002\/malq.19950410310","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T20:55:03Z","timestamp":1180817703000},"page":"384-394","source":"Crossref","is-referenced-by-count":6,"title":["Ternary Operations as Primitive Notions for Constructive Plane Geometry VI"],"prefix":"10.1002","volume":"41","author":[{"given":"Victor","family":"Pambuccian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65537-1"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448980"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68929-1"},{"key":"e_1_2_1_5_2","first-page":"17","article-title":"On a class of Pasch\u2010free Euclidean planes","volume":"20","author":"Gupta H. N.","year":"1972","journal-title":"Bull. Acad. Polon. Sci., S\u00e9r. Sci. Math., Astronom., Phys."},{"key":"e_1_2_1_6_2","volume-title":"Grundlagen der Geometrie","author":"Hilbert H.","year":"1977"},{"key":"e_1_2_1_7_2","first-page":"143","article-title":"Quantifier\u2010free axioms for constructive plane geometry","volume":"20","author":"Moler N.","year":"1968","journal-title":"Compositio Math."},{"key":"e_1_2_1_8_2","first-page":"63","article-title":"Simple axiom systems for Euclidean geometry","volume":"18","author":"Pambuccian V.","year":"1989","journal-title":"Math. Chronicle"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350608"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19920380132"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19930390143"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19940400111"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19940400404"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01342979"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02993503"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68628-3"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69418-9"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70019-9"},{"key":"e_1_2_1_19_2","first-page":"659","article-title":"On the Euclidean geometry without the Pasch 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_20_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 space","volume":"107","author":"Szmielew W.","year":"1980","journal-title":"Fund. Math."},{"key":"e_1_2_1_21_2","volume-title":"From affine to Euclidean geometry","author":"Szmielew W.","year":"1983"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410310","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T14:45:38Z","timestamp":1698331538000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410310"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410310","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}