Victor Pambuccian

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 5

Top Topics

Multiresolution

Arithmetic Operations

Top Venues

Rev. Symb. Log.

Notre Dame J. Formal Log.

Publications

Victor Pambuccian
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem. Notre Dame J. Formal Log. 59 (1) (2018)
Victor Pambuccian
A Problem in Pythagorean Arithmetic. Notre Dame J. Formal Log. 59 (2) (2018)
Victor Pambuccian
The Arithmetic of the even and the odd. Rev. Symb. Log. 9 (2) (2016)
Stephen Menn, Victor Pambuccian
Addenda et corrigenda to "the Arithmetic of the even and the odd". Rev. Symb. Log. 9 (3) (2016)
Victor Pambuccian
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic. Math. Log. Q. 61 (3) (2015)
Victor Pambuccian
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited. Stud Logica 97 (3) (2011)
Victor Pambuccian
Forms of the Pasch axiom in ordered geometry. Math. Log. Q. 56 (1) (2010)
Alexandru Rosoiu, Victor Pambuccian
An Inequality for Triangles: 11306. Am. Math. Mon. 116 (1) (2009)
Victor Pambuccian
A Reverse Analysis of the Sylvester-Gallai Theorem. Notre Dame J. Formal Log. 50 (3) (2009)
Victor Pambuccian
Axiomatizing geometric constructions. J. Appl. Log. 6 (1) (2008)
Victor Pambuccian
Corrigendum to "The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)". Math. Log. Q. 54 (6) (2008)
Victor Pambuccian
. Notre Dame J. Formal Log. 49 (4) (2008)
Victor Pambuccian, Robin Chapman
Pythagorean Triangles Are Not Quite Perfect: 11122. Am. Math. Mon. 113 (9) (2006)
Victor Pambuccian
Correction to "Axiomatizations of Hyperbolic Geometry". Synth. 145 (3) (2005)
Victor Pambuccian
The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist). Math. Log. Q. 51 (3) (2005)
Victor Pambuccian
Groups and Plane Geometry. Stud Logica 81 (3) (2005)
Victor Pambuccian, Michael Wolterman
Saccheri Quadrilateral: 11004. Am. Math. Mon. 112 (1) (2005)
Victor Pambuccian
Early Examples of Resource-Consciousness. Stud Logica 77 (1) (2004)
Victor Pambuccian
The Simplest Axiom System for Plane Hyperbolic Geometry. Stud Logica 77 (3) (2004)
Victor Pambuccian
Problem 11122. Am. Math. Mon. 111 (10) (2004)
Victor Pambuccian
Problem 11004. Am. Math. Mon. 110 (3) (2003)
Victor Pambuccian
Geometry: Euclid and Beyond by Robin Hartshorne. Am. Math. Mon. 110 (1) (2003)
Andreas Blass, Victor Pambuccian
Sperner spaces and first-order logic. Math. Log. Q. 49 (2) (2003)
Victor Pambuccian
Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity. Synth. 133 (3) (2002)
Victor Pambuccian
On Definitions in an Infinitary Language. Math. Log. Q. 48 (4) (2002)
Victor Pambuccian
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry. Math. Log. Q. 47 (1) (2001)
Victor Pambuccian
Constructive Axiomatization of Plane Hyperbolic Geometry. Math. Log. Q. 47 (4) (2001)
Victor Pambuccian
Another Constructive Axiomatization of Euclidean Planes. Math. Log. Q. 46 (1) (2000)
Victor Pambuccian
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI. Math. Log. Q. 41 (1995)
Victor Pambuccian
Ternary Operations as Primitive Notions for Constructive Plane Geometry V. Math. Log. Q. 40 (1994)
Victor Pambuccian
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV. Math. Log. Q. 40 (1994)
Victor Pambuccian
Ternary Operations as Primitive Notions for Constructive Plane Geometry III. Math. Log. Q. 39 (1993)
Victor Pambuccian
Ternary Operations as Primitive Notions for Plane Geometry II. Math. Log. Q. 38 (1) (1992)
Victor Pambuccian
Ternary Operations as Primitive Notions for Constructive Plane Geometry. Math. Log. Q. 35 (6) (1989)
Victor Pambuccian
Simplicity. Notre Dame J. Formal Log. 29 (3) (1988)