Victor Pambuccian

发表

Early Examples of Resource-Consciousness

Victor Pambuccian, V. Pambuccian, 2004, Stud Logica.

The Simplest Axiom System for Plane Hyperbolic Geometry Revisited

Victor Pambuccian, 2011, Stud Logica.

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

Victor Pambuccian, V. Pambuccian, 2002, Synthese.

Geometry: Euclid and Beyond by Robin Hartshorne

Victor Pambuccian, 2003, Am. Math. Mon..

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

Victor Pambuccian, 2018, Notre Dame J. Formal Log..

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

Victor Pambuccian, 2005, Math. Log. Q..

Problem 11122

Victor Pambuccian, 2004, Am. Math. Mon..

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

Victor Pambuccian, Stephen Menn, 2016, Rev. Symb. Log..

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

Victor Pambuccian, 2008, Notre Dame J. Formal Log..

Constructive Axiomatization of Plane Hyperbolic Geometry

Victor Pambuccian, 2001, Math. Log. Q..

The Simplest Axiom System for Plane Hyperbolic Geometry

Victor Pambuccian, V. Pambuccian, 2004, Stud Logica.

An Inequality for Triangles: 11306

Victor Pambuccian, Alexandru Rosoiu, 2009, Am. Math. Mon..

Axiomatizing geometric constructions

Victor Pambuccian, V. Pambuccian, 2008, J. Appl. Log..

Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

Victor Pambuccian, 1994, Math. Log. Q..

Groups and Plane Geometry

Victor Pambuccian, V. Pambuccian, 2005, Stud Logica.

Ternary Operations as Primitive Notions for Plane Geometry II

Victor Pambuccian, 1992, Math. Log. Q..

A Problem in Pythagorean Arithmetic

Victor Pambuccian, 2018, Notre Dame J. Formal Log..

Saccheri Quadrilateral: 11004

Victor Pambuccian, Michael Wolterman, 2005, Am. Math. Mon..

Sperner spaces and first-order logic

Victor Pambuccian, Andreas Blass, 2003, Math. Log. Q..

Ternary Operations as Primitive Notions for Constructive Plane Geometry VI

Victor Pambuccian, 1995, Math. Log. Q..

Forms of the Pasch axiom in ordered geometry

Victor Pambuccian, V. Pambuccian, 2010, Math. Log. Q..

The Arithmetic of the even and the odd

Victor Pambuccian, 2016, Rev. Symb. Log..

Ternary Operations as Primitive Notions for Constructive Plane Geometry V

Victor Pambuccian, 1994, Math. Log. Q..

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

Victor Pambuccian, 2015, Math. Log. Q..

Ternary Operations as Primitive Notions for Constructive Plane Geometry III

Victor Pambuccian, V. Pambuccian, 1993, Math. Log. Q..

Another Constructive Axiomatization of Euclidean Planes

Victor Pambuccian, 2000, Math. Log. Q..

Supplementary material from "Prolegomena to any theory of proof simplicity"

Victor Pambuccian, 2018 .

Ternary Operations as Primitive Notions for Constructive Plane Geometry

Victor Pambuccian, 1989, Math. Log. Q..

Simplicity

Victor Pambuccian, V. Pambuccian, 1988, Notre Dame J. Formal Log..

Pythagorean Triangles Are Not Quite Perfect: 11122

Victor Pambuccian, Robin J. Chapman, 2006, Am. Math. Mon..

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

Victor Pambuccian, 2008, Math. Log. Q..

Correction to “Axiomatizations of Hyperbolic Geometry”

Victor Pambuccian, 2004, Synthese.

On Definitions in an Infinitary Language

Victor Pambuccian, 2002, Math. Log. Q..

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

Victor Pambuccian, 2001, Math. Log. Q..

A Reverse Analysis of the Sylvester-Gallai Theorem

Victor Pambuccian, V. Pambuccian, 2009, Notre Dame J. Formal Log..

Problem 11004

Victor Pambuccian, 2003, Am. Math. Mon..

The Ubiquitous Axiom

Victor Pambuccian, Celia Schacht, 2021 .

Two statements characterizing the Euclidean metric of a metric plane

Victor Pambuccian, 2021, Elemente der Mathematik.

Acute triangulation of a triangle in a general setting revisited

Victor Pambuccian, V. Pambuccian, Ioana Hociotă, 2011 .

The axiomatics of ordered geometry: I. Ordered incidence spaces

Victor Pambuccian, V. Pambuccian, 2011 .

Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry

Victor Pambuccian, 2003 .

Axiomatizations of Hyperbolic and Absolute Geometries

Victor Pambuccian, V. Pambuccian, 2006 .

Splitting the Pasch axiom

Victor Pambuccian, 1996 .

Euclidean geometry problems rephrased in terms of midpoints and point-reflections

Victor Pambuccian, 2005 .

A Methodologically Pure Proof of a Convex Geometry Problem

Victor Pambuccian, 2001 .

On the equivalence of Lagrange’s axiom to the Lotschnittaxiom

Victor Pambuccian, 2009 .

Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion

Victor Pambuccian, 2009 .

Acute Triangulation of a Triangle in a General Setting

Victor Pambuccian, V. Pambuccian, 2010, Canadian Mathematical Bulletin.

Elementary versions of the sylvester-gallai theorem

Victor Pambuccian, V. Pambuccian, 2008 .

FRAGMENTS OF EUCLIDEAN AND HYPERBOLIC GEOMETRY

Victor Pambuccian, 2001 .

Another equivalent of the Lotschnittaxiom

Victor Pambuccian, 2017 .

Alexandrov–Zeeman type theorems expressed in terms of definability

Victor Pambuccian, V. Pambuccian, 2007 .

Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

Victor Pambuccian, 2001 .

ON THE SIMPLICITY OF AN AXIOM SYSTEM FOR PLANE EUCLIDEAN GEOMETRY

Victor Pambuccian, 1997 .

Axiomatizations of Euclidean geometry in terms of points,equilateral triangles or squares, and incidence

Victor Pambuccian, 2004 .

Two notes on the axiomatics of structures with parallelism

Victor Pambuccian, 2001 .

From absolute to affine geometry in terms of point-reections, midpoints, and collinearity

Jesse Alama, Victor Pambuccian, 2016 .