{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T13:50:57Z","timestamp":1781704257445,"version":"3.54.5"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1021294808742","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T19:56:49Z","timestamp":1048190209000},"page":"331-341","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity"],"prefix":"10.1007","volume":"133","author":[{"given":"Victor","family":"Pambuccian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"394052_CR1","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1090\/S0002-9939-1959-0103812-3","volume":"10","author":"C. C. Chang","year":"1959","unstructured":"Chang, C. C.: 1959, \u2018On Unions of Chains of Models\u2019, Proc. Amer. Math. Soc.\n10 120\u2013127.","journal-title":"Proc. Amer. Math. Soc."},{"key":"394052_CR2","volume-title":"Model Theory","author":"C. C. Chang","year":"1990","unstructured":"Chang, C. C. and H. J. Keisler: 1990, Model Theory, North-Holland, Amsterdam."},{"key":"394052_CR3","volume-title":"Le postulat chez Euclide et chez les modernes","author":"A. Frenkian","year":"1940","unstructured":"Frenkian, A.: 1940, Le postulat chez Euclide et chez les modernes, Librairie Philosophique J. Vrin, Paris."},{"key":"394052_CR4","volume-title":"Grundlagen der Geometrie","author":"D. Hilbert","year":"1999","unstructured":"Hilbert, D.: 1999, Grundlagen der Geometrie, Vol. 14, B. G. Teubner, Auflage (1st edn 1899).","edition":"1st edn"},{"key":"394052_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: 1993, Model Theory. Cambridge University Press, Cambridge."},{"key":"394052_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964333","volume":"25","author":"H. J. Keisler","year":"1960","unstructured":"Keisler, H. J.: 1960, \u2018Theory of Models with Generalized Atomic Formulas\u2019, J. Symb. Logic\n25, 1\u201326.","journal-title":"J. Symb. Logic"},{"key":"394052_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.5840\/ancientphil1983321","volume":"3","author":"W. R. Knorr","year":"1983","unstructured":"Knorr, W. R.: 1983, \u2018Construction as Existence Proof in Ancient Geometry\u2019, Ancient Philos.\n3, 125\u2013148.","journal-title":"Ancient Philos."},{"key":"394052_CR8","volume-title":"The Ancient Tradition of Geometric Problems","author":"W. R. Knorr","year":"1986","unstructured":"Knorr, W. R.: 1986, The Ancient Tradition of Geometric Problems, Birkh\u00e4user, Boston, (Dover, New York, 1993)."},{"key":"394052_CR9","first-page":"175","volume":"17","author":"M. Kordos","year":"1969","unstructured":"Kordos, M. and L. W. Szczerba: 1969, \u2018On the \u220f\u2211-Axiom Systems of Hyperbolic and Some Related Geometries\u2019, Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys.\n17, 175\u2013180.","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"394052_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0168-0072(98)00017-7","volume":"95","author":"M. Lombard","year":"1998","unstructured":"Lombard, M. and R. Vesley: 1998, \u2018A Common Axiom Set for Classical and Intuitionistic Plane Geometry\u2019, Ann. Pure Appl. Logic\n95, 229\u2013255.","journal-title":"Ann. Pure Appl. Logic"},{"key":"394052_CR11","doi-asserted-by":"crossref","first-page":"52","DOI":"10.4064\/fm-44-1-52-60","volume":"44","author":"J. \u0141o\u015b","year":"1997","unstructured":"\u0141o\u015b, J. and R. Suzzko: 1997, \u2018On the Extending of Models. IV\u2019, Fund. Math. 44: 52\u201360.","journal-title":"Fund. Math."},{"key":"394052_CR12","series-title":"Boston Stud. Philos. Sci.","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-94-011-3977-9_8","volume-title":"Analysis and Synthesis in Mathematics","author":"P. M\u00e4enp\u00e4\u00e4","year":"1997","unstructured":"M\u00e4enp\u00e4\u00e4, P.: 1997, \u2018From Backward Reduction to Configurational Analysis\u2019, in M. Otte and M. Panza (eds), Analysis and Synthesis in Mathematics, Boston Stud. Philos. Sci., 196, Kluwer, Dordrecht, pp. 201\u2013226."},{"key":"394052_CR13","first-page":"86","volume-title":"A Spectrum of Mathematics","author":"K. Menger","year":"1971","unstructured":"Menger, K.: 1971, \u2018The New Foundation of Hyperbolic Geometry\u2019, in A Spectrum of Mathematics (Essays presented to H. G. Forder), Auckland University Press, Auckland, pp. 86\u201397."},{"key":"394052_CR14","first-page":"143","volume":"20","author":"N. Moler","year":"1968","unstructured":"Moler, N. and P. Suppes, P.: 1968, 'Quantifier-Free Axioms for Constructive Plane Geometry, Compositio Math.\n20, 143\u2013152.","journal-title":"Compositio Math."},{"key":"394052_CR15","unstructured":"Niebel, E.: 1959, Untersuchungen \u00fcber die Bedeutung der geometrischen Konstruktion in der Antike, Kant-Studien, Erg\u00e4nzungsheft 76, K\u00f6lner-Universit\u00e4ts-Verlag."},{"key":"394052_CR16","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1002\/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B","volume":"47","author":"V. Pambuccian","year":"2001","unstructured":"Pambuccian, V.: 2001, \u2018Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry\u2019, Math. Log. Q.\n47, 129\u2013135.","journal-title":"Math. Log. Q."},{"key":"394052_CR17","first-page":"361","volume":"53","author":"V. Pambuccian","year":"2001","unstructured":"Pambuccian, V.: 2001, \u2018Fragments of Euclidean and Hyperbolic Geometry\u2019, Sci. Math. Jpn.\n53, 361\u2013400.","journal-title":"Sci. Math. Jpn."},{"key":"394052_CR18","doi-asserted-by":"crossref","unstructured":"Pambuccian, V.: 2002, \u2018Sphere Tangency as Single Primitive Notion for Hyperbolic and Euclidean Geometry\u2019, submitted.","DOI":"10.1515\/form.2003.047"},{"key":"394052_CR19","volume-title":"La science et l'hypoth\u00e8se","author":"H. Poincar\u00e9","year":"1903","unstructured":"Poincar\u00e9, H.: 1903, La science et l'hypoth\u00e8se, Flammarion, Paris."},{"key":"394052_CR20","doi-asserted-by":"crossref","unstructured":"Proclus:1970, A Commentary on the First Book of Euclid's Elements,(trans.G.R. Morrow), Princeton University Press, Princeton.","DOI":"10.1515\/9780691214672"},{"key":"394052_CR21","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1002\/malq.19590050705","volume":"5","author":"W. Schwabh\u00e4user","year":"1959","unstructured":"Schwabh\u00e4user, W.: 1959, \u2018Entscheidbarkeit und Vollst\u00e4ndigkeit der elementaren hyperbol-ischen Geometrie\u2019, Z. Math. Logik Grundlagen Math.\n5, 132\u2013205.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"394052_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69418-9","volume-title":"Metamathematische Methoden in der Geometrie","author":"W. Schwabh\u00e4user","year":"1983","unstructured":"Schwabh\u00e4user, W., W. Szmielew, and A. Tarski: 1983, Metamathematische Methoden in der Geometrie, Springer-Verlag, Berlin."},{"key":"394052_CR23","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00181394","volume":"44","author":"H. Skala","year":"1992","unstructured":"Skala, H.: 1992, \u2018Projective-Type Axioms for the Hyperbolic Plane\u2019, Geom. Dedicata\n44, 255\u2013272.","journal-title":"Geom. Dedicata"},{"key":"394052_CR24","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/S0049-237X(09)70018-7","volume-title":"The Axiomatic Method","author":"W. Szmielew","year":"1959","unstructured":"Szmielew, W.: 1959, \u2018Some Metamathematical Problems Concerning Elementary HyperbolicGeometry\u2019,in L. Henkin, P. Suppes, and A. Tarski (eds), The Axiomatic Method, North-Holland, Amsterdam, pp. 30\u201352."},{"key":"394052_CR25","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1016\/S1385-7258(54)50074-0","volume":"57","author":"A. Tarski","year":"1954","unstructured":"Tarski, A.: 1954, \u2018Contributions to the Theory of Models. I, II\u2019, Nederl. Akad. Wetensch. Proc. Ser. A 57 = Indagationes Math.\n16, 572\u2013581, 582-588.","journal-title":"Nederl. Akad. Wetensch. Proc. Ser. A"},{"key":"394052_CR26","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/S0049-237X(09)70017-5","volume-title":"The Axiomatic Method","author":"A. Tarski","year":"1959","unstructured":"Tarski, A.: 1959, \u2018What is Elementary Geometry?\u2019, in L. Henkin, P. Suppes, and A. Tarski (eds), The Axiomatic Method, North-Holland, Amsterdam, pp. 16\u201329."},{"key":"394052_CR27","doi-asserted-by":"crossref","first-page":"175","DOI":"10.2307\/421089","volume":"5","author":"A. Tarski","year":"1999","unstructured":"Tarski, A. and Givant, S.: 1999, \u2018Tarski's System of Geometry\u2019, Bull. Symbolic Logic\n5, 175\u2013214.","journal-title":"Bull. Symbolic Logic"},{"key":"394052_CR28","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00348436","volume":"18","author":"B. L. van der Waerden","year":"1977","unstructured":"van der Waerden, B. L.: 1977\/1978, \u2018Die Postulate und Konstruktionen in der fr\u00fchgriechischen Geometrie\u2019, Arch. Hist. Exact Sci.\n18, 343\u2013357.","journal-title":"Arch. Hist. Exact Sci."},{"key":"394052_CR29","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1080\/01445349950044206","volume":"20","author":"R. Vesley","year":"1999","unstructured":"Vesley, R.: 1999, \u2018Constructivity in Geometry\u2019, Hist. Philos. Logic\n20, 291\u2013294.","journal-title":"Hist. Philos. Logic"},{"key":"394052_CR30","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/BF01447268","volume":"47","author":"H. G. Zeuthen","year":"1896","unstructured":"Zeuthen, H. G.: 1896, \u2018Die geometrische Construction als \u201cExistenzbeweis\u201d in der antiken Geometrie\u2019, Math. Ann.\n47, 222\u2013228.","journal-title":"Math. Ann."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021294808742.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021294808742\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021294808742.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:50:19Z","timestamp":1754632219000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021294808742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["394052"],"URL":"https:\/\/doi.org\/10.1023\/a:1021294808742","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}