Victor Pambuccian

35 papers Journal 35

Year	Rank	Type	Title / 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