×

Pambuccian, Victor V.

Author ID: pambuccian.victor Recent zbMATH articles by "Pambuccian, Victor V."
Published as: Pambuccian, Victor; Pambuccian, V.; Pambuccian, Victor V.; Pambuccian, Viktor
Homepage: https://webapp4.asu.edu/directory/person/80568#pub_anchor
External Links: MGP
Documents Indexed: 137 Publications since 1984, including 2 Additional arXiv Preprints
Reviewing Activity: 1,196 Reviews
Co-Authors: 17 Co-Authors with 23 Joint Publications
303 Co-Co-Authors
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 Bulletin of the Polish Academy of Sciences, Mathematics
4 Results in 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

Publications by Year

Citations contained in zbMATH Open

101 Publications have been cited 378 times in 146 Documents Cited by Year
The axiomatics of ordered geometry: I. Ordered incidence spaces. Zbl 1227.51010
Pambuccian, Victor
24
2011
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
Axiomatizations of hyperbolic and absolute geometries. Zbl 1106.51008
Pambuccian, Victor
10
2006
Orthogonality as single primitive notion for metric planes. Zbl 1161.51004
Pambuccian, Victor
9
2007
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
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
Simplicity. Zbl 0669.03005
Pambuccian, Victor
8
1988
Forms of the Pasch axiom in ordered geometry. Zbl 1202.51010
Pambuccian, Victor
8
2010
On M. T. Calapso’s characterization of the metric of an absolute plane. Zbl 1169.51017
Pambuccian, Victor; Struve, Rolf
8
2009
Fragments of Euclidean and hyperbolic geometry. Zbl 0995.51005
Pambuccian, Victor
8
2001
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 Erdős-Mordell inequality is equivalent to non-positive curvature. Zbl 1140.51009
Pambuccian, Victor
7
2008
Weakly ordered plane geometry. Zbl 1205.51007
Pambuccian, Victor
7
2010
Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry. Zbl 1100.51012
Pambuccian, V.; Prazmowski, K.; Sakowicz, K.
7
2005
The simplest axiom system for plane hyperbolic geometry. Zbl 1069.03007
Pambuccian, Victor
7
2004
A reverse analysis of the Sylvester-Gallai theorem. Zbl 1202.03023
Pambuccian, Victor
6
2009
On the equivalence of Lagrange’s axiom to the Lotschnittaxiom. Zbl 1189.51010
Pambuccian, Victor
6
2009
Groups and plane geometry. Zbl 1086.03007
Pambuccian, Victor
6
2005
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
On the axiomatics of projective and affine geometry in terms of line intersection. Zbl 1064.51001
Havlicek, Hans; Pambuccian, Victor
5
2004
Elementary axiomatizations of projective space and of its associated Grassmann space. Zbl 1193.03022
Pambuccian, Victor
5
2005
The complexity of plane hyperbolic incidence geometry is \(\forall\exists\forall\exists\). Zbl 1066.03027
Pambuccian, Victor
5
2005
Ternary operations as primitive notions for constructive plane geometry. IV. Zbl 0799.03072
Pambuccian, Victor
5
1994
Ternary operations as primitive notions for constructive plane geometry. V. Zbl 0808.03045
Pambuccian, Victor
5
1994
Hyperbolic geometry in terms of point-reflections or of line-orthogonality. Zbl 1075.51005
Pambuccian, Victor
4
2004
Another splitting of the Pasch axiom. Zbl 1227.51011
Pambuccian, Victor
4
2011
Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076
Pambuccian, Victor
4
2018
Metric geometries in an axiomatic perspective. Zbl 1386.03005
Pambuccian, Victor; Struve, Horst; Struve, Rolf
4
2017
Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry. Zbl 0971.03063
Pambuccian, Victor
4
2001
Euclidean geometry problems rephrased in terms of midpoints and point-reflections. Zbl 1082.51011
Pambuccian, Victor
4
2005
Why are surjective lineations of the Archimedean hyperbolic plane motions? Zbl 1027.51021
Pambuccian, V.
4
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
Another equivalent of the Lotschnittaxiom. Zbl 1362.51004
Pambuccian, Victor
4
2017
Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom. Zbl 1429.51004
Pambuccian, Victor; Schacht, Celia
4
2019
Ternary operations as primitive notions for constructive plane geometry. Zbl 0669.03029
Pambuccian, Victor
3
1989
Ternary operations as primitive notions for constructive plane geometry. VI. Zbl 0828.03032
Pambuccian, Victor
3
1995
Simple axiom systems for affine planes. Zbl 0848.03003
Pambuccian, Victor
3
1995
The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\). Zbl 1185.03086
Pambuccian, Victor
3
2008
Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie. Zbl 0566.51018
Schnabel, Rudolf; Pambuccian, Victor
3
1985
What is plane equiaffine geometry? Zbl 1085.51003
Pambuccian, Victor
3
2003
Splitting the Pasch axiom. Zbl 0854.51010
Pambuccian, Victor
3
1996
From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002
Alama, Jesse; Pambuccian, Victor
3
2016
A methodologically pure proof of a convex geometry problem. Zbl 1008.52002
Pambuccian, Victor
3
2001
Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. Zbl 1044.51012
Pambuccian, Victor
3
2000
Simple axiom systems for Euclidean geometry. Zbl 0699.51010
Pambuccian, Victor
3
1989
Acute triangulation of a triangle in a general setting revisited. Zbl 1246.51010
Hociotă, Ioana; Pambuccian, Victor
3
2011
The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\). Zbl 1293.11096
Pambuccian, Victor
3
2014
The simplest axiom system for plane hyperbolic geometry revisited. Zbl 1234.51011
Pambuccian, Victor
3
2011
An axiomatics for hyperbolic projective-metric planes in terms of lines and orthogonality. Zbl 1101.51007
Pambuccian, Victor
3
2004
The Steiner-Lehmus theorem and “triangles with congruent medians are isosceles” hold in weak geometries. Zbl 1367.51008
Pambuccian, Victor; Struve, Horst; Struve, Rolf
3
2016
The arithmetic of the even and the odd. Zbl 1381.03041
Pambuccian, Victor
3
2016
On the planarity of the equilateral, isogonal pentagon. Zbl 1017.03002
Pambuccian, Victor
3
2003
Prolegomena to any theory of proof simplicity. Zbl 1441.03007
Pambuccian, Victor
3
2019
Acute triangulation of a triangle in a general setting. Zbl 1201.51015
Pambuccian, Victor
3
2010
A direct proof of the Steiner-Lehmus theorem. Zbl 1493.51008
Pambuccian, Victor
3
2021
The elementary geometry of a triangular world with hexagonal circles. Zbl 1146.51009
Pambuccian, Victor
2
2008
On the constructive geometry of Euclidean planes. (Zur konstruktiven Geometrie euklidischer Ebenen.) Zbl 0959.03052
Pambuccian, V.
2
1998
On the extensiveness axiom for partial affine spaces. (Über das Reichhaltigkeitsaxiom für partielle affine Räume.) Zbl 0853.51002
Pambuccian, Victor
2
1996
Paolo Pizzetti: the forgotten originator of triangle comparison geometry. Zbl 1221.01083
Pambuccian, Victor; Zamfirescu, Tudor
2
2011
On R. Baer’s generalized hyperbolic planes. Zbl 1012.51009
Pambuccian, Victor
2
2001
Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033
Pambuccian, Victor
2
1992
Ternary operations as primitive notions for constructive plane geometry. III. Zbl 0799.03071
Pambuccian, Victor
2
1993
Addenda et corrigenda to: “The arithmetic of the even and the odd”. Zbl 1382.03080
Menn, Stephen; Pambuccian, Victor
2
2016
The axiomatic destiny of the theorems of Pappus and Desargues. Zbl 1454.01016
Pambuccian, Victor; Schacht, Celia
2
2019
Axiom systems implying infinity in the foundations of geometry. Zbl 1473.51012
Pambuccian, Victor; Struve, Rolf
2
2021
The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry. Zbl 1267.51012
Pambuccian, Victor
2
2012
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
Another constructive axiomatization of Euclidean planes. Zbl 0943.03052
Pambuccian, Victor
1
2000
A logical reading of the nonexistence of proper homomorphisms between affine spaces. Zbl 0966.51002
Pambuccian, Victor
1
2000
On the Euclidean geometry of the double-edged ruler. Zbl 1228.51021
Pambuccian, Victor
1
1999
Universal-existential axiom systems for geometries expressed with Pieri’s isosceles triangle as single primitive notion. Zbl 1223.51028
Pambuccian, V.
1
2009
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 simplicity of an axiom system for plane Euclidean geometry. Zbl 0884.03004
Pambuccian, Victor
1
1997
A problem in Pythagorean arithmetic. Zbl 1404.03033
Pambuccian, Victor
1
2018
Euler’s inequality in absolute geometry. Zbl 1395.51009
Pambuccian, Victor; Schacht, Celia
1
2018
Two notes on the axiomatics of structures with parallelism. Zbl 1162.51300
Pambuccian, Victor
1
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
Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. Zbl 1038.51014
Pambuccian, V.
1
2003
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
1
1994
Fragments of the plane hyperbolic geometry. (Fragmente der ebenen hyperbolischen Geometrie.) Zbl 1061.51013
Pambuccian, Victor
1
2004
Another example of an exotic function. Zbl 0825.26007
Pambuccian, Victor
1
1989
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity. Zbl 1028.03014
Pambuccian, Victor
1
2002
Absolute geometry proofs of two geometric inequalities of Chisini. Zbl 1366.51007
Pambuccian, Victor
1
2017
An axiomatic look at the Erdős-Trost problem. Zbl 1376.51008
Kalhoff, Franz; Pambuccian, Victor
1
2016
Corrigendum to “The complexity of plane hyperbolic incidence geometry is \(\forall \exists \forall \exists\)”. Zbl 1152.03311
Pambuccian, Victor
1
2008
Schatunowsky’s theorem, Bonse’s inequality, and Chebyshev’s theorem in weak fragments of Peano arithmetic. Zbl 1333.03240
Pambuccian, Victor
1
2015
On definitions in an infinitary language. Zbl 1021.03029
Pambuccian, Victor
1
2002
The elementary Archimedean axiom in absolute geometry. Zbl 1430.51020
Pambuccian, Victor
1
2019
Existence of special rainbow triangles in weak geometries. Zbl 1431.51007
Pambuccian, Victor
1
2019
A theorem on equiareal triangles with a fixed base. Zbl 1483.51005
Pambuccian, Victor
1
2019
The case for the irreducibility of geometry to algebra. Zbl 1512.03028
Pambuccian, Victor; Schacht, Celia
1
2022
Mappings preserving the area equality of hyperbolic triangles are motions. Zbl 1213.51017
Pambuccian, Victor
1
2010
Varieties of infiniteness in the existence of infinitely many primes. Zbl 07632453
Pambuccian, Victor
1
2022
Two statements characterizing the Euclidean metric of a metric plane. Zbl 1503.51014
Pambuccian, Victor
1
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
Two statements characterizing the Euclidean metric of a metric plane. Zbl 1503.51014
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
2
2019
The elementary Archimedean axiom in absolute geometry. Zbl 1430.51020
Pambuccian, Victor
1
2019
Existence of special rainbow triangles in weak geometries. Zbl 1431.51007
Pambuccian, Victor
1
2019
A theorem on equiareal triangles with a fixed base. Zbl 1483.51005
Pambuccian, Victor
1
2019
Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076
Pambuccian, Victor
4
2018
A problem in Pythagorean arithmetic. Zbl 1404.03033
Pambuccian, Victor
1
2018
Euler’s inequality in absolute geometry. Zbl 1395.51009
Pambuccian, Victor; Schacht, Celia
1
2018
Metric geometries in an axiomatic perspective. Zbl 1386.03005
Pambuccian, Victor; Struve, Horst; Struve, Rolf
4
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
From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Zbl 1414.51002
Alama, Jesse; Pambuccian, Victor
3
2016
The Steiner-Lehmus theorem and “triangles with congruent medians are isosceles” hold in weak geometries. Zbl 1367.51008
Pambuccian, Victor; Struve, Horst; Struve, Rolf
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
The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry. Zbl 1267.51012
Pambuccian, Victor
2
2012
The axiomatics of ordered geometry: I. Ordered incidence spaces. Zbl 1227.51010
Pambuccian, Victor
24
2011
Another splitting of the Pasch axiom. Zbl 1227.51011
Pambuccian, Victor
4
2011
Acute triangulation of a triangle in a general setting revisited. Zbl 1246.51010
Hociotă, Ioana; Pambuccian, Victor
3
2011
The simplest axiom system for plane hyperbolic geometry revisited. Zbl 1234.51011
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
8
2010
Weakly ordered plane geometry. Zbl 1205.51007
Pambuccian, Victor
7
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
A reverse analysis of the Sylvester-Gallai theorem. Zbl 1202.03023
Pambuccian, Victor
6
2009
On the equivalence of Lagrange’s axiom to the Lotschnittaxiom. Zbl 1189.51010
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
9
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
10
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
6
2005
Elementary axiomatizations of projective space and of its associated Grassmann space. Zbl 1193.03022
Pambuccian, Victor
5
2005
The complexity of plane hyperbolic incidence geometry is \(\forall\exists\forall\exists\). Zbl 1066.03027
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
7
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
Why are surjective lineations of the Archimedean hyperbolic plane motions? Zbl 1027.51021
Pambuccian, V.
4
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
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
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity. Zbl 1028.03014
Pambuccian, Victor
1
2002
On definitions in an infinitary language. Zbl 1021.03029
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
Two notes on the axiomatics of structures with parallelism. Zbl 1162.51300
Pambuccian, Victor
1
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
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
Another constructive axiomatization of Euclidean planes. Zbl 0943.03052
Pambuccian, Victor
1
2000
A logical reading of the nonexistence of proper homomorphisms between affine spaces. Zbl 0966.51002
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
1
1997
Splitting the Pasch axiom. Zbl 0854.51010
Pambuccian, Victor
3
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
3
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. IV. Zbl 0799.03072
Pambuccian, Victor
5
1994
Ternary operations as primitive notions for constructive plane geometry. V. Zbl 0808.03045
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
1
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
Ternary operations as primitive notions for constructive plane geometry. Zbl 0669.03029
Pambuccian, Victor
3
1989
Simple axiom systems for Euclidean geometry. Zbl 0699.51010
Pambuccian, Victor
3
1989
Another example of an exotic function. Zbl 0825.26007
Pambuccian, Victor
1
1989
Simplicity. Zbl 0669.03005
Pambuccian, Victor
8
1988
...and 1 more Documents
all top 5

Cited by 124 Authors

50 Pambuccian, Victor V.
15 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 Boutry, Pierre
2 Dehghani, Mahdi
2 Giovannini, Eduardo N.
2 Janičić, Predrag
2 Kahle, Reinhard
2 Kalhoff, Franz B.
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 Beeson, Michael J.
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 Eisenbud, David
1 Eyidoğan, Sadık
1 Farkas, Gavril
1 French, Rohan
1 Gerla, Giangiacomo
1 Goranko, Valentin F.
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 Maehara, Hiroshi
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
1 Özcan, Hikmet Burak
1 Penttila, Tim
...and 24 more Authors
all top 5

Cited in 55 Serials

32 Journal of Geometry
8 Beiträge zur Algebra und Geometrie
8 Synthese
6 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 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 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 The Bulletin of Symbolic Logic
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

Citations by Year