Victor Pambuccian

35 papers Journal 35
YearRankTypeTitle / Venue / Authors
2018 J jnl
A Problem in Pythagorean Arithmetic.
Notre Dame J. Formal Log.
Victor Pambuccian
2018 J jnl
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem.
Notre Dame J. Formal Log.
Victor Pambuccian
2016 J jnl
Addenda et corrigenda to "the Arithmetic of the even and the odd".
Rev. Symb. Log.
Stephen Menn, Victor Pambuccian
2016 J jnl
The Arithmetic of the even and the odd.
Rev. Symb. Log.
Victor Pambuccian
2015 J jnl
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic.
Math. Log. Q.
Victor Pambuccian
2011 J jnl
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.
Stud Logica
Victor Pambuccian
2010 J jnl
Forms of the Pasch axiom in ordered geometry.
Math. Log. Q.
Victor Pambuccian
2009 J jnl
A Reverse Analysis of the Sylvester-Gallai Theorem.
Notre Dame J. Formal Log.
Victor Pambuccian
2009 J jnl
An Inequality for Triangles: 11306.
Am. Math. Mon.
Alexandru Rosoiu, Victor Pambuccian
2008 J jnl
Axiomatizing geometric constructions.
J. Appl. Log.
Victor Pambuccian
2008 J jnl
Corrigendum to "The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)".
Math. Log. Q.
Victor Pambuccian
2008 J jnl
The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA
Notre Dame J. Formal Log.
Victor Pambuccian
2006 J jnl
Pythagorean Triangles Are Not Quite Perfect: 11122.
Am. Math. Mon.
Victor Pambuccian, Robin Chapman
2005 J jnl
Correction to "Axiomatizations of Hyperbolic Geometry".
Synth.
Victor Pambuccian
2005 J jnl
Groups and Plane Geometry.
Stud Logica
Victor Pambuccian
2005 J jnl
Saccheri Quadrilateral: 11004.
Am. Math. Mon.
Victor Pambuccian, Michael Wolterman
2005 J jnl
The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist).
Math. Log. Q.
Victor Pambuccian
2004 J jnl
Early Examples of Resource-Consciousness.
Stud Logica
Victor Pambuccian
2004 J jnl
Problem 11122.
Am. Math. Mon.
Victor Pambuccian
2004 J jnl
The Simplest Axiom System for Plane Hyperbolic Geometry.
Stud Logica
Victor Pambuccian
2003 J jnl
Geometry: Euclid and Beyond by Robin Hartshorne.
Am. Math. Mon.
Victor Pambuccian
2003 J jnl
Problem 11004.
Am. Math. Mon.
Victor Pambuccian
2003 J jnl
Sperner spaces and first-order logic.
Math. Log. Q.
Andreas Blass, Victor Pambuccian
2002 J jnl
Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.
Synth.
Victor Pambuccian
2002 J jnl
On Definitions in an Infinitary Language.
Math. Log. Q.
Victor Pambuccian
2001 J jnl
Constructive Axiomatization of Plane Hyperbolic Geometry.
Math. Log. Q.
Victor Pambuccian
2001 J jnl
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.
Math. Log. Q.
Victor Pambuccian
2000 J jnl
Another Constructive Axiomatization of Euclidean Planes.
Math. Log. Q.
Victor Pambuccian
1995 J jnl
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.
Math. Log. Q.
Victor Pambuccian
1994 J jnl
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
Math. Log. Q.
Victor Pambuccian
1994 J jnl
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
Math. Log. Q.
Victor Pambuccian
1993 J jnl
Ternary Operations as Primitive Notions for Constructive Plane Geometry III.
Math. Log. Q.
Victor Pambuccian
1992 J jnl
Ternary Operations as Primitive Notions for Plane Geometry II.
Math. Log. Q.
Victor Pambuccian
1989 J jnl
Ternary Operations as Primitive Notions for Constructive Plane Geometry.
Math. Log. Q.
Victor Pambuccian
1988 J jnl
Simplicity.
Notre Dame J. Formal Log.
Victor Pambuccian