Victor Pambuccian

According to our database, Victor Pambuccian authored at least 35 papers between 1988 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2018

A Problem in Pythagorean Arithmetic.

Victor Pambuccian

Notre Dame J. Formal Log., 2018

Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem.

Victor Pambuccian

Notre Dame J. Formal Log., 2018

2016

The Arithmetic of the even and the odd.

Victor Pambuccian

Rev. Symb. Log., 2016

Addenda et corrigenda to "the Arithmetic of the even and the odd".

Stephen Menn, Victor Pambuccian

Rev. Symb. Log., 2016

2015

Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic.

Victor Pambuccian

Math. Log. Q., 2015

2011

The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.

Victor Pambuccian

Stud Logica, 2011

2010

Forms of the Pasch axiom in ordered geometry.

Victor Pambuccian

Math. Log. Q., 2010

2009

An Inequality for Triangles: 11306.

Alexandru Rosoiu, Victor Pambuccian

Am. Math. Mon., 2009

A Reverse Analysis of the Sylvester-Gallai Theorem.

Victor Pambuccian

Notre Dame J. Formal Log., 2009

2008

The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA^-.

Victor Pambuccian

Notre Dame J. Formal Log., 2008

Corrigendum to "The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)".

Victor Pambuccian

Math. Log. Q., 2008

Axiomatizing geometric constructions.

Victor Pambuccian

J. Appl. Log., 2008

2006

Pythagorean Triangles Are Not Quite Perfect: 11122.

Victor Pambuccian, Robin Chapman

Am. Math. Mon., 2006

2005

Saccheri Quadrilateral: 11004.

Victor Pambuccian, Michael Wolterman

Am. Math. Mon., 2005

Correction to "Axiomatizations of Hyperbolic Geometry".

Victor Pambuccian

Synth., 2005

Groups and Plane Geometry.

Victor Pambuccian

Stud Logica, 2005

The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist).

Victor Pambuccian

Math. Log. Q., 2005

2004

Problem 11122.

Victor Pambuccian

Am. Math. Mon., 2004

The Simplest Axiom System for Plane Hyperbolic Geometry.

Victor Pambuccian

Stud Logica, 2004

Early Examples of Resource-Consciousness.

Victor Pambuccian

Stud Logica, 2004

2003

Problem 11004.

Victor Pambuccian

Am. Math. Mon., 2003

Geometry: Euclid and Beyond by Robin Hartshorne.

Victor Pambuccian

Am. Math. Mon., 2003

Sperner spaces and first-order logic.

Andreas Blass, Victor Pambuccian

Math. Log. Q., 2003

2002

Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.

Victor Pambuccian

Synth., 2002

On Definitions in an Infinitary Language.

Victor Pambuccian

Math. Log. Q., 2002

2001

Constructive Axiomatization of Plane Hyperbolic Geometry.

Victor Pambuccian

Math. Log. Q., 2001

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Victor Pambuccian

Math. Log. Q., 2001

2000

Another Constructive Axiomatization of Euclidean Planes.

Victor Pambuccian

Math. Log. Q., 2000

1995

Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.

Victor Pambuccian

Math. Log. Q., 1995

1994

Ternary Operations as Primitive Notions for Constructive Plane Geometry V.

Victor Pambuccian

Math. Log. Q., 1994

Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.

Victor Pambuccian

Math. Log. Q., 1994

1993

Ternary Operations as Primitive Notions for Constructive Plane Geometry III.

Victor Pambuccian

Math. Log. Q., 1993

1992

Ternary Operations as Primitive Notions for Plane Geometry II.

Victor Pambuccian

Math. Log. Q., 1992

1989

Ternary Operations as Primitive Notions for Constructive Plane Geometry.

Victor Pambuccian

Math. Log. Q., 1989

1988

Simplicity.

Victor Pambuccian

Notre Dame J. Formal Log., 1988