Edit Profile (opens in new tab) Pambuccian, Victor V. Co-Author Distance Author ID: pambuccian.victor Published as: Pambuccian, Victor; Pambuccian, V.; Pambuccian, Victor V.; Pambuccian, Viktor more...less Homepage: https://webapp4.asu.edu/directory/person/80568#pub_anchor External Links: MGP Documents Indexed: 138 Publications since 1984, including 2 Additional arXiv Preprints Reviewing Activity: 1,211 Reviews Co-Authors: 17 Co-Authors with 23 Joint Publications 303 Co-Co-Authors all top 5 Co-Authors 115 single-authored 5 Schacht, Celia 4 Struve, Rolf 2 Blass, Andreas Raphael 2 Kalhoff, Franz B. 2 Struve, Horst 1 Alama, Jesse 1 Harutyunyan, Davit 1 Havlicek, Hans 1 Hociotă, Ioana 1 Hulpke, Alexander Jörg 1 Menn, Stephen 1 Movsisyan, Yuri Movses 1 Nazaryan, Aram 1 Prażmowski, Krzysztof 1 Sakowicz, K. 1 Schnabel, Rudolf 1 Zamfirescu, Tudor I. all top 5 Serials 19 Journal of Geometry 13 Mathematical Logic Quarterly (MLQ) 12 Beiträge zur Algebra und Geometrie 6 Note di Matematica 5 Notre Dame Journal of Formal Logic 5 Results in Mathematics 5 Bulletin of the Polish Academy of Sciences, Mathematics 4 Studia Logica 4 Indagationes Mathematicae. New Series 4 European Mathematical Society Newsletter 3 Acta Mathematica Hungarica 3 Aequationes Mathematicae 3 Elemente der Mathematik 3 Mathematical Chronicle 3 Zeszyty Naukowe. Geometria 2 Demonstratio Mathematica 2 Geometriae Dedicata 2 Publicationes Mathematicae Debrecen 2 Synthese 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Mathematica Pannonica 2 Expositiones Mathematicae 2 Philosophia Mathematica. Series III 2 The Review of Symbolic Logic 1 American Mathematical Monthly 1 Journal of Mathematical Analysis and Applications 1 Rocky Mountain Journal of Mathematics 1 The Mathematical Intelligencer 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Archiv der Mathematik 1 Canadian Mathematical Bulletin 1 The Nepali Mathematical Sciences Report 1 Extracta Mathematicae 1 Forum Mathematicum 1 Glasnik Matematički. Serija III 1 Historia Mathematica 1 Georgian Mathematical Journal 1 Scientiae Mathematicae Japonicae 1 Journal of Applied Logic 1 Rendiconti del Seminario Matematico. Universitá e Politecnico di Torino 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 116 Geometry (51-XX) 89 Mathematical logic and foundations (03-XX) 12 History and biography (01-XX) 7 General and overarching topics; collections (00-XX) 6 Field theory and polynomials (12-XX) 5 Number theory (11-XX) 5 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 General topology (54-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 102 Publications have been cited 404 times in 150 Documents Cited by ▼ Year ▼ The axiomatics of ordered geometry: I. Ordered incidence spaces. Zbl 1227.51010 Pambuccian, Victor 27 2011 Axiomatizations of hyperbolic and absolute geometries. Zbl 1106.51008 Pambuccian, Victor 11 2006 A logical look at characterizations of geometric transformations under mild hypotheses. Zbl 0987.51010 Pambuccian, Victor 11 2000 On the stepwise construction of the parallel postulate. (Zum Stufenaufbau des Parallelenaxioms.) Zbl 0815.51012 Pambuccian, Victor 11 1994 Orthogonality as single primitive notion for metric planes. Zbl 1161.51004 Pambuccian, Victor 10 2007 Simplicity. Zbl 0669.03005 Pambuccian, Victor 10 1988 Book review of: D. Hilbert, David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1305.00057 Pambuccian, Victor 9 2013 Constructive axiomatization of non-elliptic metric planes. Zbl 1036.03051 Pambuccian, Victor 9 2003 Forms of the Pasch axiom in ordered geometry. Zbl 1202.51010 Pambuccian, Victor 9 2010 Alexandrov-Zeeman type theorems expressed in terms of definability. Zbl 1141.03007 Pambuccian, Victor 9 2007 Axiomatizing geometric constructions. Zbl 1143.03007 Pambuccian, Victor 9 2008 On the existence of a equilateral triangle in \(H\)-planes. (Zur Existenz gleichseitiger Dreiecke in \(H\)-Ebenen.) Zbl 0931.51006 Pambuccian, Victor 8 1998 The simplest axiom system for plane hyperbolic geometry. Zbl 1069.03007 Pambuccian, Victor 8 2004 Weakly ordered plane geometry. Zbl 1205.51007 Pambuccian, Victor 8 2010 Fragments of Euclidean and hyperbolic geometry. Zbl 0995.51005 Pambuccian, Victor 8 2001 On M. T. Calapso’s characterization of the metric of an absolute plane. Zbl 1169.51017 Pambuccian, Victor; Struve, Rolf 8 2009 Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry. Zbl 1100.51012 Pambuccian, V.; Prazmowski, K.; Sakowicz, K. 7 2005 Groups and plane geometry. Zbl 1086.03007 Pambuccian, Victor 7 2005 The Erdős-Mordell inequality is equivalent to non-positive curvature. Zbl 1140.51009 Pambuccian, Victor 7 2008 The complexity of plane hyperbolic incidence geometry is \(\forall\exists\forall\exists\). Zbl 1066.03027 Pambuccian, Victor 6 2005 Ternary operations as primitive notions for constructive plane geometry. V. Zbl 0808.03045 Pambuccian, Victor 6 1994 On the equivalence of Lagrange’s axiom to the Lotschnittaxiom. Zbl 1189.51010 Pambuccian, Victor 6 2009 A reverse analysis of the Sylvester-Gallai theorem. Zbl 1202.03023 Pambuccian, Victor 6 2009 Constructive axiomatization of plane hyperbolic geometry. Zbl 1003.03052 Pambuccian, Victor 5 2001 Early examples of resource-consciousness. Zbl 1057.03010 Pambuccian, Victor 5 2004 Metric geometries in an axiomatic perspective. Zbl 1386.03005 Pambuccian, Victor; Struve, Horst; Struve, Rolf 5 2017 Elementary axiomatizations of projective space and of its associated Grassmann space. Zbl 1193.03022 Pambuccian, Victor 5 2005 On the axiomatics of projective and affine geometry in terms of line intersection. Zbl 1064.51001 Havlicek, Hans; Pambuccian, Victor 5 2004 Ternary operations as primitive notions for constructive plane geometry. IV. Zbl 0799.03072 Pambuccian, Victor 5 1994 Another splitting of the Pasch axiom. Zbl 1227.51011 Pambuccian, Victor 5 2011 Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom. Zbl 1429.51004 Pambuccian, Victor; Schacht, Celia 4 2019 Hyperbolic geometry in terms of point-reflections or of line-orthogonality. Zbl 1075.51005 Pambuccian, Victor 4 2004 Euclidean geometry problems rephrased in terms of midpoints and point-reflections. Zbl 1082.51011 Pambuccian, Victor 4 2005 Construction of hyperbolic geometry from the notion of line orthogonality. (Aufbau der hyperbolischen Geometrie aus dem Geradenorthogonalitätsbegriff.) Zbl 1048.51013 Pambuccian, V. 4 2003 Ternary operations as primitive notions for constructive plane geometry. VI. Zbl 0828.03032 Pambuccian, Victor 4 1995 Splitting the Pasch axiom. Zbl 0854.51010 Pambuccian, Victor 4 1996 Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076 Pambuccian, Victor 4 2018 Another equivalent of the Lotschnittaxiom. Zbl 1362.51004 Pambuccian, Victor 4 2017 The Steiner-Lehmus theorem and “triangles with congruent medians are isosceles” hold in weak geometries. Zbl 1367.51008 Pambuccian, Victor; Struve, Horst; Struve, Rolf 4 2016 Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry. Zbl 0971.03063 Pambuccian, Victor 4 2001 Why are surjective lineations of the Archimedean hyperbolic plane motions? Zbl 1027.51021 Pambuccian, V. 4 2003 The simplest axiom system for plane hyperbolic geometry revisited. Zbl 1234.51011 Pambuccian, Victor 4 2011 Simple axiom systems for Euclidean geometry. Zbl 0699.51010 Pambuccian, Victor 4 1989 From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002 Alama, Jesse; Pambuccian, Victor 3 2016 Prolegomena to any theory of proof simplicity. Zbl 1441.03007 Pambuccian, Victor 3 2019 The axiomatic destiny of the theorems of Pappus and Desargues. Zbl 1454.01016 Pambuccian, Victor; Schacht, Celia 3 2019 Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. Zbl 1044.51012 Pambuccian, Victor 3 2000 What is plane equiaffine geometry? Zbl 1085.51003 Pambuccian, Victor 3 2003 Simple axiom systems for affine planes. Zbl 0848.03003 Pambuccian, Victor 3 1995 The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\). Zbl 1293.11096 Pambuccian, Victor 3 2014 An axiomatics for hyperbolic projective-metric planes in terms of lines and orthogonality. Zbl 1101.51007 Pambuccian, Victor 3 2004 On the planarity of the equilateral, isogonal pentagon. Zbl 1017.03002 Pambuccian, Victor 3 2003 A methodologically pure proof of a convex geometry problem. Zbl 1008.52002 Pambuccian, Victor 3 2001 Acute triangulation of a triangle in a general setting. Zbl 1201.51015 Pambuccian, Victor 3 2010 The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry. Zbl 1267.51012 Pambuccian, Victor 3 2012 Acute triangulation of a triangle in a general setting revisited. Zbl 1246.51010 Hociotă, Ioana; Pambuccian, Victor 3 2011 Ternary operations as primitive notions for constructive plane geometry. Zbl 0669.03029 Pambuccian, Victor 3 1989 Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie. Zbl 0566.51018 Schnabel, Rudolf; Pambuccian, Victor 3 1985 The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\). Zbl 1185.03086 Pambuccian, Victor 3 2008 The arithmetic of the even and the odd. Zbl 1381.03041 Pambuccian, Victor 3 2016 A direct proof of the Steiner-Lehmus theorem. Zbl 1493.51008 Pambuccian, Victor 3 2021 On R. Baer’s generalized hyperbolic planes. Zbl 1012.51009 Pambuccian, Victor 2 2001 Axiom systems implying infinity in the foundations of geometry. Zbl 1473.51012 Pambuccian, Victor; Struve, Rolf 2 2021 On the extensiveness axiom for partial affine spaces. (Über das Reichhaltigkeitsaxiom für partielle affine Räume.) Zbl 0853.51002 Pambuccian, Victor 2 1996 On the simplicity of an axiom system for plane Euclidean geometry. Zbl 0884.03004 Pambuccian, Victor 2 1997 Addenda et corrigenda to: “The arithmetic of the even and the odd”. Zbl 1382.03080 Menn, Stephen; Pambuccian, Victor 2 2016 Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033 Pambuccian, Victor 2 1992 On the constructive geometry of Euclidean planes. (Zur konstruktiven Geometrie euklidischer Ebenen.) Zbl 0959.03052 Pambuccian, V. 2 1998 Paolo Pizzetti: the forgotten originator of triangle comparison geometry. Zbl 1221.01083 Pambuccian, Victor; Zamfirescu, Tudor 2 2011 Ternary operations as primitive notions for constructive plane geometry. III. Zbl 0799.03071 Pambuccian, Victor 2 1993 The most simple axioms system in elementary geometry. (Le plus simple système d’axiomes pour la géométrie élémentaire.) Zbl 0821.51015 Pambuccian, Victor 2 1994 The elementary geometry of a triangular world with hexagonal circles. Zbl 1146.51009 Pambuccian, Victor 2 2008 Two statements characterizing the Euclidean metric of a metric plane. Zbl 1503.51014 Pambuccian, Victor 2 2022 A theorem on equiareal triangles with a fixed base. Zbl 1483.51005 Pambuccian, Victor 1 2019 Existence of special rainbow triangles in weak geometries. Zbl 1431.51007 Pambuccian, Victor 1 2019 Another example of an exotic function. Zbl 0825.26007 Pambuccian, Victor 1 1989 Euler’s inequality in absolute geometry. Zbl 1395.51009 Pambuccian, Victor; Schacht, Celia 1 2018 A definitional view of Vogt’s variant of the Mazur-Ulam theorem. Zbl 0992.03045 Pambuccian, Victor 1 2001 Mohr-Mascheroni as an axiomatizability statement. Zbl 0993.51006 Pambuccian, Victor 1 2001 Two notes on the axiomatics of structures with parallelism. Zbl 1162.51300 Pambuccian, Victor 1 2001 On definitions in an infinitary language. Zbl 1021.03029 Pambuccian, Victor 1 2002 Absolute geometry proofs of two geometric inequalities of Chisini. Zbl 1366.51007 Pambuccian, Victor 1 2017 The elementary Archimedean axiom in absolute geometry. Zbl 1430.51020 Pambuccian, Victor 1 2019 A problem in Pythagorean arithmetic. Zbl 1404.03033 Pambuccian, Victor 1 2018 An axiomatic look at the Erdős-Trost problem. Zbl 1376.51008 Kalhoff, Franz; Pambuccian, Victor 1 2016 Schatunowsky’s theorem, Bonse’s inequality, and Chebyshev’s theorem in weak fragments of Peano arithmetic. Zbl 1333.03240 Pambuccian, Victor 1 2015 A logical reading of the nonexistence of proper homomorphisms between affine spaces. Zbl 0966.51002 Pambuccian, Victor 1 2000 Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. Zbl 1038.51014 Pambuccian, V. 1 2003 Another constructive axiomatization of Euclidean planes. Zbl 0943.03052 Pambuccian, Victor 1 2000 Fragments of the plane hyperbolic geometry. (Fragmente der ebenen hyperbolischen Geometrie.) Zbl 1061.51013 Pambuccian, Victor 1 2004 Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity. Zbl 1028.03014 Pambuccian, Victor 1 2002 Mappings preserving the area equality of hyperbolic triangles are motions. Zbl 1213.51017 Pambuccian, Victor 1 2010 Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry. Zbl 1230.51013 Kalhoff, Franz; Pambuccian, Victor 1 2011 On the Euclidean geometry of the double-edged ruler. Zbl 1228.51021 Pambuccian, Victor 1 1999 The ubiquitous axiom. Zbl 1490.51010 Pambuccian, Victor; Schacht, Celia 1 2021 On the simplicity of ordered geometry. Zbl 1280.51007 Pambuccian, Victor 1 2013 Corrigendum to “The complexity of plane hyperbolic incidence geometry is \(\forall \exists \forall \exists\)”. Zbl 1152.03311 Pambuccian, Victor 1 2008 Universal-existential axiom systems for geometries expressed with Pieri’s isosceles triangle as single primitive notion. Zbl 1223.51028 Pambuccian, V. 1 2009 Positive definitions of segment congruence in terms of segment inequality. Zbl 1117.51018 Pambuccian, Victor 1 2006 On the Pythagorean hull of \(\mathbb Q\). Zbl 1147.12300 Pambuccian, Victor 1 1990 Two statements characterizing the Euclidean metric of a metric plane. Zbl 1503.51014 Pambuccian, Victor 2 2022 The case for the irreducibility of geometry to algebra. Zbl 1512.03028 Pambuccian, Victor; Schacht, Celia 1 2022 Varieties of infiniteness in the existence of infinitely many primes. Zbl 07632453 Pambuccian, Victor 1 2022 A direct proof of the Steiner-Lehmus theorem. Zbl 1493.51008 Pambuccian, Victor 3 2021 Axiom systems implying infinity in the foundations of geometry. Zbl 1473.51012 Pambuccian, Victor; Struve, Rolf 2 2021 The ubiquitous axiom. Zbl 1490.51010 Pambuccian, Victor; Schacht, Celia 1 2021 Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom. Zbl 1429.51004 Pambuccian, Victor; Schacht, Celia 4 2019 Prolegomena to any theory of proof simplicity. Zbl 1441.03007 Pambuccian, Victor 3 2019 The axiomatic destiny of the theorems of Pappus and Desargues. Zbl 1454.01016 Pambuccian, Victor; Schacht, Celia 3 2019 A theorem on equiareal triangles with a fixed base. Zbl 1483.51005 Pambuccian, Victor 1 2019 Existence of special rainbow triangles in weak geometries. Zbl 1431.51007 Pambuccian, Victor 1 2019 The elementary Archimedean axiom in absolute geometry. Zbl 1430.51020 Pambuccian, Victor 1 2019 Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076 Pambuccian, Victor 4 2018 Euler’s inequality in absolute geometry. Zbl 1395.51009 Pambuccian, Victor; Schacht, Celia 1 2018 A problem in Pythagorean arithmetic. Zbl 1404.03033 Pambuccian, Victor 1 2018 Metric geometries in an axiomatic perspective. Zbl 1386.03005 Pambuccian, Victor; Struve, Horst; Struve, Rolf 5 2017 Another equivalent of the Lotschnittaxiom. Zbl 1362.51004 Pambuccian, Victor 4 2017 Absolute geometry proofs of two geometric inequalities of Chisini. Zbl 1366.51007 Pambuccian, Victor 1 2017 The Steiner-Lehmus theorem and “triangles with congruent medians are isosceles” hold in weak geometries. Zbl 1367.51008 Pambuccian, Victor; Struve, Horst; Struve, Rolf 4 2016 From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002 Alama, Jesse; Pambuccian, Victor 3 2016 The arithmetic of the even and the odd. Zbl 1381.03041 Pambuccian, Victor 3 2016 Addenda et corrigenda to: “The arithmetic of the even and the odd”. Zbl 1382.03080 Menn, Stephen; Pambuccian, Victor 2 2016 An axiomatic look at the Erdős-Trost problem. Zbl 1376.51008 Kalhoff, Franz; Pambuccian, Victor 1 2016 Schatunowsky’s theorem, Bonse’s inequality, and Chebyshev’s theorem in weak fragments of Peano arithmetic. Zbl 1333.03240 Pambuccian, Victor 1 2015 The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\). Zbl 1293.11096 Pambuccian, Victor 3 2014 Book review of: D. Hilbert, David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1305.00057 Pambuccian, Victor 9 2013 On the simplicity of ordered geometry. Zbl 1280.51007 Pambuccian, Victor 1 2013 The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry. Zbl 1267.51012 Pambuccian, Victor 3 2012 The axiomatics of ordered geometry: I. Ordered incidence spaces. Zbl 1227.51010 Pambuccian, Victor 27 2011 Another splitting of the Pasch axiom. Zbl 1227.51011 Pambuccian, Victor 5 2011 The simplest axiom system for plane hyperbolic geometry revisited. Zbl 1234.51011 Pambuccian, Victor 4 2011 Acute triangulation of a triangle in a general setting revisited. Zbl 1246.51010 Hociotă, Ioana; Pambuccian, Victor 3 2011 Paolo Pizzetti: the forgotten originator of triangle comparison geometry. Zbl 1221.01083 Pambuccian, Victor; Zamfirescu, Tudor 2 2011 Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry. Zbl 1230.51013 Kalhoff, Franz; Pambuccian, Victor 1 2011 Forms of the Pasch axiom in ordered geometry. Zbl 1202.51010 Pambuccian, Victor 9 2010 Weakly ordered plane geometry. Zbl 1205.51007 Pambuccian, Victor 8 2010 Acute triangulation of a triangle in a general setting. Zbl 1201.51015 Pambuccian, Victor 3 2010 Mappings preserving the area equality of hyperbolic triangles are motions. Zbl 1213.51017 Pambuccian, Victor 1 2010 On M. T. Calapso’s characterization of the metric of an absolute plane. Zbl 1169.51017 Pambuccian, Victor; Struve, Rolf 8 2009 On the equivalence of Lagrange’s axiom to the Lotschnittaxiom. Zbl 1189.51010 Pambuccian, Victor 6 2009 A reverse analysis of the Sylvester-Gallai theorem. Zbl 1202.03023 Pambuccian, Victor 6 2009 Universal-existential axiom systems for geometries expressed with Pieri’s isosceles triangle as single primitive notion. Zbl 1223.51028 Pambuccian, V. 1 2009 Axiomatizing geometric constructions. Zbl 1143.03007 Pambuccian, Victor 9 2008 The Erdős-Mordell inequality is equivalent to non-positive curvature. Zbl 1140.51009 Pambuccian, Victor 7 2008 The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\). Zbl 1185.03086 Pambuccian, Victor 3 2008 The elementary geometry of a triangular world with hexagonal circles. Zbl 1146.51009 Pambuccian, Victor 2 2008 Corrigendum to “The complexity of plane hyperbolic incidence geometry is \(\forall \exists \forall \exists\)”. Zbl 1152.03311 Pambuccian, Victor 1 2008 Orthogonality as single primitive notion for metric planes. Zbl 1161.51004 Pambuccian, Victor 10 2007 Alexandrov-Zeeman type theorems expressed in terms of definability. Zbl 1141.03007 Pambuccian, Victor 9 2007 Axiomatizations of hyperbolic and absolute geometries. Zbl 1106.51008 Pambuccian, Victor 11 2006 Positive definitions of segment congruence in terms of segment inequality. Zbl 1117.51018 Pambuccian, Victor 1 2006 Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry. Zbl 1100.51012 Pambuccian, V.; Prazmowski, K.; Sakowicz, K. 7 2005 Groups and plane geometry. Zbl 1086.03007 Pambuccian, Victor 7 2005 The complexity of plane hyperbolic incidence geometry is \(\forall\exists\forall\exists\). Zbl 1066.03027 Pambuccian, Victor 6 2005 Elementary axiomatizations of projective space and of its associated Grassmann space. Zbl 1193.03022 Pambuccian, Victor 5 2005 Euclidean geometry problems rephrased in terms of midpoints and point-reflections. Zbl 1082.51011 Pambuccian, Victor 4 2005 The simplest axiom system for plane hyperbolic geometry. Zbl 1069.03007 Pambuccian, Victor 8 2004 Early examples of resource-consciousness. Zbl 1057.03010 Pambuccian, Victor 5 2004 On the axiomatics of projective and affine geometry in terms of line intersection. Zbl 1064.51001 Havlicek, Hans; Pambuccian, Victor 5 2004 Hyperbolic geometry in terms of point-reflections or of line-orthogonality. Zbl 1075.51005 Pambuccian, Victor 4 2004 An axiomatics for hyperbolic projective-metric planes in terms of lines and orthogonality. Zbl 1101.51007 Pambuccian, Victor 3 2004 Fragments of the plane hyperbolic geometry. (Fragmente der ebenen hyperbolischen Geometrie.) Zbl 1061.51013 Pambuccian, Victor 1 2004 Constructive axiomatization of non-elliptic metric planes. Zbl 1036.03051 Pambuccian, Victor 9 2003 Construction of hyperbolic geometry from the notion of line orthogonality. (Aufbau der hyperbolischen Geometrie aus dem Geradenorthogonalitätsbegriff.) Zbl 1048.51013 Pambuccian, V. 4 2003 Why are surjective lineations of the Archimedean hyperbolic plane motions? Zbl 1027.51021 Pambuccian, V. 4 2003 What is plane equiaffine geometry? Zbl 1085.51003 Pambuccian, Victor 3 2003 On the planarity of the equilateral, isogonal pentagon. Zbl 1017.03002 Pambuccian, Victor 3 2003 Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. Zbl 1038.51014 Pambuccian, V. 1 2003 On definitions in an infinitary language. Zbl 1021.03029 Pambuccian, Victor 1 2002 Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity. Zbl 1028.03014 Pambuccian, Victor 1 2002 Fragments of Euclidean and hyperbolic geometry. Zbl 0995.51005 Pambuccian, Victor 8 2001 Constructive axiomatization of plane hyperbolic geometry. Zbl 1003.03052 Pambuccian, Victor 5 2001 Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry. Zbl 0971.03063 Pambuccian, Victor 4 2001 A methodologically pure proof of a convex geometry problem. Zbl 1008.52002 Pambuccian, Victor 3 2001 On R. Baer’s generalized hyperbolic planes. Zbl 1012.51009 Pambuccian, Victor 2 2001 A definitional view of Vogt’s variant of the Mazur-Ulam theorem. Zbl 0992.03045 Pambuccian, Victor 1 2001 Mohr-Mascheroni as an axiomatizability statement. Zbl 0993.51006 Pambuccian, Victor 1 2001 Two notes on the axiomatics of structures with parallelism. Zbl 1162.51300 Pambuccian, Victor 1 2001 A logical look at characterizations of geometric transformations under mild hypotheses. Zbl 0987.51010 Pambuccian, Victor 11 2000 Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. Zbl 1044.51012 Pambuccian, Victor 3 2000 A logical reading of the nonexistence of proper homomorphisms between affine spaces. Zbl 0966.51002 Pambuccian, Victor 1 2000 Another constructive axiomatization of Euclidean planes. Zbl 0943.03052 Pambuccian, Victor 1 2000 On the Euclidean geometry of the double-edged ruler. Zbl 1228.51021 Pambuccian, Victor 1 1999 On the existence of a equilateral triangle in \(H\)-planes. (Zur Existenz gleichseitiger Dreiecke in \(H\)-Ebenen.) Zbl 0931.51006 Pambuccian, Victor 8 1998 On the constructive geometry of Euclidean planes. (Zur konstruktiven Geometrie euklidischer Ebenen.) Zbl 0959.03052 Pambuccian, V. 2 1998 On the simplicity of an axiom system for plane Euclidean geometry. Zbl 0884.03004 Pambuccian, Victor 2 1997 Splitting the Pasch axiom. Zbl 0854.51010 Pambuccian, Victor 4 1996 On the extensiveness axiom for partial affine spaces. (Über das Reichhaltigkeitsaxiom für partielle affine Räume.) Zbl 0853.51002 Pambuccian, Victor 2 1996 Ternary operations as primitive notions for constructive plane geometry. VI. Zbl 0828.03032 Pambuccian, Victor 4 1995 Simple axiom systems for affine planes. Zbl 0848.03003 Pambuccian, Victor 3 1995 On the stepwise construction of the parallel postulate. (Zum Stufenaufbau des Parallelenaxioms.) Zbl 0815.51012 Pambuccian, Victor 11 1994 Ternary operations as primitive notions for constructive plane geometry. V. Zbl 0808.03045 Pambuccian, Victor 6 1994 Ternary operations as primitive notions for constructive plane geometry. IV. Zbl 0799.03072 Pambuccian, Victor 5 1994 The most simple axioms system in elementary geometry. (Le plus simple système d’axiomes pour la géométrie élémentaire.) Zbl 0821.51015 Pambuccian, Victor 2 1994 Ternary operations as primitive notions for constructive plane geometry. III. Zbl 0799.03071 Pambuccian, Victor 2 1993 Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033 Pambuccian, Victor 2 1992 On the Pythagorean hull of \(\mathbb Q\). Zbl 1147.12300 Pambuccian, Victor 1 1990 Simple axiom systems for Euclidean geometry. Zbl 0699.51010 Pambuccian, Victor 4 1989 Ternary operations as primitive notions for constructive plane geometry. Zbl 0669.03029 Pambuccian, Victor 3 1989 Another example of an exotic function. Zbl 0825.26007 Pambuccian, Victor 1 1989 ...and 2 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 126 Authors 51 Pambuccian, Victor V. 16 Struve, Rolf 8 Struve, Horst 6 Székely, Gergely 5 Prażmowski, Krzysztof 5 Schacht, Celia 5 Żynel, Mariusz 4 Havlicek, Hans 4 Madarász, Judit X. 3 Göral, Haydar 3 Liu, Jian 3 Marinković, Vesna 3 Movsisyan, Yuri Movses 3 Németi, István 2 Andréka, Hajnal 2 Beeson, Michael J. 2 Boutry, Pierre 2 Dehghani, Mahdi 2 Giovannini, Eduardo N. 2 Janičić, Predrag 2 Kahle, Reinhard 2 Kalhoff, Franz B. 2 Maehara, Hiroshi 2 Mandelkern, Mark 2 Narboux, Julien 2 Nazaryan, Aram 2 Prażmowska, Małgorzata 2 Schreck, Pascal 2 Sertbaş, Doğa Can 2 Vesley, Richard E. 2 Zamani, Ali 1 Agnew, Alfonso F. 1 Aiello, Marco 1 Alama, Jesse 1 Alkan, Emre 1 Alliot, Sylvain 1 Arana, Andrew 1 Babic, Joshua 1 Baldwin, John T. 1 Bamberg, John 1 Banjac, Bojan D. 1 Batal, Ahmet 1 Bernardi, Claudio 1 Bezhanishvili, Guram 1 Bloch, Isabelle 1 Blunck, Andrea 1 Bobe, Alexandru 1 Boskoff, Wladimir-Georges 1 Braun, Gabriel 1 Brown, Elizabeth Theta 1 Bruno, Jorge L. 1 Castner, Emily 1 Changat, Manoj 1 Chmieliński, Jacek 1 Cocco, Lorenzo 1 De Risi, Vincenzo 1 Debarre, Olivier 1 Demirel, Oğuzhan 1 Deprettere, Ed F. A. 1 Dolecki, Szymon 1 Eisenbud, David 1 Eyidoğan, Sadık 1 Farkas, Gavril 1 French, Rohan 1 Gerla, Giangiacomo 1 Goranko, Valentin F. 1 Greco, Gabriele H. 1 Gries, Charly 1 Grimson, Rafael 1 Gröger, Detlef 1 Harutyunyan, Davit 1 Hipolito, Inês 1 Hociotă, Ioana 1 Huang, Fangjian 1 Hulpke, Alexander Jörg 1 Karamzadeh, Omid Ali Shahni 1 Kharazishvili, Alexander Bezhanovich 1 Korchmáros, Gábor 1 Kozma, József 1 Kreinovich, Vladik Yakovlevich 1 Kuijpers, Bart H. M. 1 Lemaitre, Jérôme 1 List, Klaus 1 Lombard, Melinda 1 Lorenat, Jemma 1 Makowsky, Johann-Andreas 1 Malešević, Branko J. 1 Mancosu, Paolo 1 Marchisotto, Elena Anne Corie 1 Marić, Filip 1 McCluskey, Aisling E. 1 Menn, Stephen 1 Meuren, Stephan 1 Miranda, Annamaria 1 Molnár, Attila 1 Mumma, John 1 Naibo, Alberto 1 Nazari, E. M. 1 O’Shea, Edwin 1 Othman, Walied ...and 26 more Authors all top 5 Cited in 56 Serials 33 Journal of Geometry 8 Beiträge zur Algebra und Geometrie 8 Synthese 7 Results in Mathematics 6 Studia Logica 4 Annals of Pure and Applied Logic 4 Indagationes Mathematicae. New Series 4 Mathematical Logic Quarterly (MLQ) 4 The Review of Symbolic Logic 3 Archive for History of Exact Sciences 3 The Mathematical Intelligencer 3 Elemente der Mathematik 3 Journal of Inequalities and Applications 2 Journal of Mathematical Analysis and Applications 2 Notre Dame Journal of Formal Logic 2 Forum Mathematicum 2 Aequationes Mathematicae 2 Georgian Mathematical Journal 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Applied Logic 2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 American Mathematical Monthly 1 Discrete Mathematics 1 Linear and Multilinear Algebra 1 Rocky Mountain Journal of Mathematics 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Archiv der Mathematik 1 Demonstratio Mathematica 1 Dissertationes Mathematicae 1 Journal of Philosophical Logic 1 Le Matematiche 1 Real Analysis Exchange 1 Mathematical Social Sciences 1 History and Philosophy of Logic 1 Acta Mathematica Hungarica 1 Journal of Symbolic Computation 1 Facta Universitatis. Series Mathematics and Informatics 1 Journal of Automated Reasoning 1 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences 1 Historia Mathematica 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 Journal of Mathematical Sciences (New York) 1 Soft Computing 1 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1 Integers 1 Advances in Geometry 1 AKCE International Journal of Graphs and Combinatorics 1 Foundations of Physics 1 Oberwolfach Reports 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Mathematics in Computer Science 1 Journal of Mathematical Inequalities 1 Armenian Journal of Mathematics 1 Cogent Mathematics & Statistics all top 5 Cited in 28 Fields 106 Geometry (51-XX) 64 Mathematical logic and foundations (03-XX) 18 History and biography (01-XX) 8 General and overarching topics; collections (00-XX) 7 Computer science (68-XX) 5 Number theory (11-XX) 5 Convex and discrete geometry (52-XX) 5 Relativity and gravitational theory (83-XX) 4 Group theory and generalizations (20-XX) 3 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Functional analysis (46-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Field theory and polynomials (12-XX) 2 Algebraic geometry (14-XX) 2 Real functions (26-XX) 2 General topology (54-XX) 2 Mechanics of particles and systems (70-XX) 2 Mathematics education (97-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Differential geometry (53-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year