# Victor Pambuccian

Orcid: 0000-0003-2263-1471
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 Dataset Other## Links

#### On csauthors.net:

## Bibliography

2018

Notre Dame J. Formal Log., 2018

Notre Dame J. Formal Log., 2018

2016

Rev. Symb. Log., 2016

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

Stud Logica, 2011

2010

Math. Log. Q., 2010

2009

Am. Math. Mon., 2009

Notre Dame J. Formal Log., 2009

2008

The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA<sup>-</sup>.

Notre Dame J. Formal Log., 2008

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

Math. Log. Q., 2008

J. Appl. Log., 2008

2006

Am. Math. Mon., 2006

2005

Am. Math. Mon., 2005

Synth., 2005

Stud Logica, 2005

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

Math. Log. Q., 2005

2004

Am. Math. Mon., 2004

Stud Logica, 2004

Stud Logica, 2004

2003

Am. Math. Mon., 2003

Am. Math. Mon., 2003

Math. Log. Q., 2003

2002

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

Synth., 2002

Math. Log. Q., 2002

2001

Math. Log. Q., 2001

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Math. Log. Q., 2001

2000

Math. Log. Q., 2000

1995

Math. Log. Q., 1995

1994

Math. Log. Q., 1994

Math. Log. Q., 1994

1993

Math. Log. Q., 1993

1992

Math. Log. Q., 1992

1989

Math. Log. Q., 1989

1988

Notre Dame J. Formal Log., 1988