# Victor Pambuccian

According to our database

Collaborative distances:

^{1}, Victor Pambuccian authored at least 35 papers between 1988 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

A Problem in Pythagorean Arithmetic.

Notre Dame Journal of Formal Logic, 2018

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

Notre Dame Journal of Formal Logic, 2018

2016

The Arithmetic of the even and the odd.

Rev. Symb. Log., 2016

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

Rev. Symb. Log., 2016

2015

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

Math. Log. Q., 2015

2011

The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.

Studia Logica, 2011

2010

Forms of the Pasch axiom in ordered geometry.

Math. Log. Q., 2010

2009

An Inequality for Triangles: 11306.

The American Mathematical Monthly, 2009

A Reverse Analysis of the Sylvester-Gallai Theorem.

Notre Dame Journal of Formal Logic, 2009

2008

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

^{-}.
Notre Dame Journal of Formal Logic, 2008

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

Math. Log. Q., 2008

Axiomatizing geometric constructions.

J. Applied Logic, 2008

2006

Pythagorean Triangles Are Not Quite Perfect: 11122.

The American Mathematical Monthly, 2006

2005

Saccheri Quadrilateral: 11004.

The American Mathematical Monthly, 2005

Correction to "Axiomatizations of Hyperbolic Geometry".

Synthese, 2005

Groups and Plane Geometry.

Studia Logica, 2005

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

Math. Log. Q., 2005

2004

Problem 11122.

The American Mathematical Monthly, 2004

The Simplest Axiom System for Plane Hyperbolic Geometry.

Studia Logica, 2004

Early Examples of Resource-Consciousness.

Studia Logica, 2004

2003

Problem 11004.

The American Mathematical Monthly, 2003

Geometry: Euclid and Beyond by Robin Hartshorne.

The American Mathematical Monthly, 2003

Sperner spaces and first-order logic.

Math. Log. Q., 2003

2002

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

Synthese, 2002

On Definitions in an Infinitary Language.

Math. Log. Q., 2002

2001

Constructive Axiomatization of Plane Hyperbolic Geometry.

Math. Log. Q., 2001

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Math. Log. Q., 2001

2000

Another Constructive Axiomatization of Euclidean Planes.

Math. Log. Q., 2000

1995

Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.

Math. Log. Q., 1995

1994

Ternary Operations as Primitive Notions for Constructive Plane Geometry V.

Math. Log. Q., 1994

Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.

Math. Log. Q., 1994

1993

Ternary Operations as Primitive Notions for Constructive Plane Geometry III.

Math. Log. Q., 1993

1992

Ternary Operations as Primitive Notions for Plane Geometry II.

Math. Log. Q., 1992

1989

Ternary Operations as Primitive Notions for Constructive Plane Geometry.

Math. Log. Q., 1989

1988

Simplicity.

Notre Dame Journal of Formal Logic, 1988