Victor Pambuccian

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

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.
Rew. Symb. Logic, 2016

Addenda et corrigenda to "the Arithmetic of the even and the odd".
Rew. Symb. Logic, 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


  Loading...