| Publication | Date of Publication | Type |
|---|
The parallel postulate
Annali dell'Università di Ferrara. Sezione VII. Scienze Matematiche | 2025-01-06 | Paper |
The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
Results in Mathematics | 2024-06-25 | Paper |
The single intuition of a move of time
Essays in Geometry | 2024-03-07 | Paper |
Why did Euclid not need the Pasch axiom?
Journal of Geometry | 2024-02-26 | Paper |
Two statements characterizing the Euclidean metric of a metric plane
Elemente der Mathematik | 2022-12-14 | Paper |
Varieties of Infiniteness in the Existence of Infinitely Many Primes
Axiomatic Thinking II | 2022-12-13 | Paper |
A direct proof of the Steiner-Lehmus theorem
The Mathematical Intelligencer | 2022-07-14 | Paper |
The case for the irreducibility of geometry to algebra
Philosophia Mathematica | 2022-04-22 | Paper |
On a splitting of the parallel postulate
Journal of Geometry | 2022-03-03 | Paper |
The ubiquitous axiom
Results in Mathematics | 2021-07-07 | Paper |
Axiom systems implying infinity in the foundations of geometry
Beiträge zur Algebra und Geometrie | 2021-04-29 | Paper |
Book review of: D. S. Richeson, Tales of impossibility. The 2000-year quest to solve the mathematical problems of antiquity
European Mathematical Society Newsletter | 2020-11-27 | Paper |
The axiomatic destiny of the theorems of Pappus and Desargues
Geometry in History | 2020-10-23 | Paper |
The geometry of point reflections and quasigroups
Results in Mathematics | 2020-09-19 | Paper |
Existence of special rainbow triangles in weak geometries
Georgian Mathematical Journal | 2020-01-17 | Paper |
The elementary Archimedean axiom in absolute geometry
Journal of Geometry | 2019-12-09 | Paper |
Prolegomena to any theory of proof simplicity
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
Beiträge zur Algebra und Geometrie | 2019-11-07 | Paper |
The Hajja-Martini inequality in a weak absolute geometry
Journal of Geometry | 2019-07-08 | Paper |
| A theorem on equiareal triangles with a fixed base | 2019-05-28 | Paper |
Euler's inequality in absolute geometry
Journal of Geometry | 2018-05-30 | Paper |
A problem in Pythagorean arithmetic
Notre Dame Journal of Formal Logic | 2018-05-18 | Paper |
Metric Geometries in an Axiomatic Perspective
From Riemann to Differential Geometry and Relativity | 2018-03-13 | Paper |
Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
| From absolute to affine geometry in terms of point-reections, midpoints, and collinearity | 2018-02-15 | Paper |
Addenda et corrigenda to: ``The arithmetic of the even and the odd
The Review of Symbolic Logic | 2017-05-31 | Paper |
Absolute geometry proofs of two geometric inequalities of Chisini
Journal of Geometry | 2017-05-22 | Paper |
Book review of: A. Imhausen, Mathematics in ancient Egypt. A contextual history
European Mathematical Society Newsletter | 2017-03-22 | Paper |
Book review of: D. Reimer, Count like an Egyptian. A hands-on introduction to ancient mathematics
European Mathematical Society Newsletter | 2017-03-22 | Paper |
Another equivalent of the Lotschnittaxiom
Beiträge zur Algebra und Geometrie | 2017-03-16 | Paper |
An axiomatic look at the Erdős-Trost problem
Journal of Geometry | 2017-02-02 | Paper |
THE ARITHMETIC OF THE EVEN AND THE ODD
The Review of Symbolic Logic | 2016-07-29 | Paper |
The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries
Beiträge zur Algebra und Geometrie | 2016-05-25 | Paper |
Aristotle's problem
Beiträge zur Algebra und Geometrie | 2015-10-16 | Paper |
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic
Mathematical Logic Quarterly | 2015-06-22 | Paper |
Book review of: William Ewald (ed.) and Wilfried Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933
European Mathematical Society Newsletter | 2015-01-02 | Paper |
| The Erd\H{o}s-Selfridge and the Schinzel-Tijdeman theorems hold in $PA^-$ | 2014-10-30 | Paper |
DAVID HILBERT. David Hilbert's lectures on the foundations of geometry, 1891-1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661
Philosophia Mathematica | 2014-08-05 | Paper |
An axiomatic look at a windmill
Indagationes Mathematicae. New Series | 2014-07-31 | Paper |
The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X\)]
Elemente der Mathematik | 2014-07-28 | Paper |
On the simplicity of ordered geometry
Journal of Geometry | 2013-06-13 | Paper |
The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
Journal of Geometry | 2012-12-27 | Paper |
Acute triangulation of a triangle in a general setting revisited
Journal of Geometry | 2012-07-10 | Paper |
| On the Euclidean geometry of the double-edged ruler | 2011-12-02 | Paper |
Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
Rocky Mountain Journal of Mathematics | 2011-10-18 | Paper |
Paolo Pizzetti: the forgotten originator of triangle comparison geometry
Historia Mathematica | 2011-07-19 | Paper |
Another splitting of the Pasch axiom
Results in Mathematics | 2011-06-22 | Paper |
The simplest axiom system for plane hyperbolic geometry revisited
Studia Logica | 2011-05-27 | Paper |
The axiomatics of ordered geometry: I. Ordered incidence spaces
Expositiones Mathematicae | 2011-05-02 | Paper |
| On a paper of Dan Barbilian | 2011-02-23 | Paper |
| On a paper of Dan Barbilian | 2011-02-23 | Paper |
Weakly ordered plane geometry
Annali dell'Università di Ferrara. Sezione VII. Scienze Matematiche | 2011-02-19 | Paper |
Mappings preserving the area equality of hyperbolic triangles are motions
Archiv der Mathematik | 2010-10-08 | Paper |
Acute Triangulation of a Triangle in a General Setting
Canadian Mathematical Bulletin | 2010-09-06 | Paper |
On the equivalence of Lagrange's axiom to the Lotschnittaxiom
Journal of Geometry | 2010-03-26 | Paper |
| Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion | 2010-03-12 | Paper |
Forms of the Pasch axiom in ordered geometry
MLQ | 2010-02-16 | Paper |
A reverse analysis of the Sylvester-Gallai theorem
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\)
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
On M. T. Calapso's characterization of the metric of an absolute plane
Journal of Geometry | 2009-06-08 | Paper |
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”
Mathematical Logic Quarterly | 2008-12-10 | Paper |
Elementary versions of the Sylvester-Gallai theorem
Beiträge zur Algebra und Geometrie | 2008-09-22 | Paper |
Elementary versions of the Sylvester-Gallai theorem
Beiträge zur Algebra und Geometrie | 2008-09-22 | Paper |
Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry
Journal of Mathematical Analysis and Applications | 2008-08-19 | Paper |
The Erdős-Mordell inequality is equivalent to non-positive curvature
Journal of Geometry | 2008-04-16 | Paper |
Axiomatizing geometric constructions
Journal of Applied Logic | 2008-04-07 | Paper |
Alexandrov-Zeeman type theorems expressed in terms of definability
Aequationes Mathematicae | 2008-03-05 | Paper |
The elementary geometry of a triangular world with hexagonal circles
Beiträge zur Algebra und Geometrie | 2008-02-28 | Paper |
The elementary geometry of a triangular world with hexagonal circles
Beiträge zur Algebra und Geometrie | 2008-02-28 | Paper |
| The sum of irreducible fractions with consecutive denominators is never an integer in a very weak arithmetic | 2008-01-23 | Paper |
Orthogonality as single primitive notion for metric planes
Beiträge zur Algebra und Geometrie | 2007-09-18 | Paper |
Orthogonality as single primitive notion for metric planes
Beiträge zur Algebra und Geometrie | 2007-09-18 | Paper |
Point-reflections in metric plane
Beiträge zur Algebra und Geometrie | 2007-05-14 | Paper |
Point-reflections in metric plane
Beiträge zur Algebra und Geometrie | 2007-05-14 | Paper |
| Logical asides on the maximality of a subgroup | 2007-05-09 | Paper |
| scientific article; zbMATH DE number 5143477 (Why is no real title available?) | 2007-04-16 | Paper |
Positive definitions of segment congruence in terms of segment inequality
Aequationes Mathematicae | 2007-02-14 | Paper |
Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry
Acta Mathematica Hungarica | 2006-10-05 | Paper |
| Elementary axiomatizations of projective space and of its associated Grassmann space | 2006-09-28 | Paper |
| Axiomatizations of hyperbolic and absolute geometries | 2006-08-15 | Paper |
Remarks, du côté de chez Tarski, on symmetric ternary relations
Journal of Geometry | 2006-05-18 | Paper |
Groups and plane geometry
Studia Logica | 2006-03-17 | Paper |
Three-dimensional hyperbolic geometry with planes and plane parallelism as only primitive notions
Glasnik Matematicki | 2006-02-21 | Paper |
Correction to ``Axiomatizations of hyperbolic geometry
Synthese | 2005-12-12 | Paper |
Euclidean geometry problems rephrased in terms of midpoints and point-reflections
Elemente der Mathematik | 2005-10-27 | Paper |
| scientific article; zbMATH DE number 2217135 (Why is no real title available?) | 2005-10-20 | Paper |
| scientific article; zbMATH DE number 2211910 (Why is no real title available?) | 2005-10-04 | Paper |
What is plane equiaffine geometry?
Aequationes Mathematicae | 2005-08-22 | Paper |
The complexity of plane hyperbolic incidence geometry is ????
MLQ | 2005-06-01 | Paper |
An axiom system for Lingenberg's metric-Euclidean planes
Journal of Geometry | 2005-05-06 | Paper |
The simplest axiom system for plane hyperbolic geometry
Studia Logica | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2133993 (Why is no real title available?) | 2005-02-14 | Paper |
Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence.
Indagationes Mathematicae. New Series | 2005-01-03 | Paper |
An Axiomatics for Hyperbolic Projective-Metric Planes in Terms of Lines and Orthogonality
Bulletin Polish Acad. Sci. Math. | 2004-11-29 | Paper |
On the axiomatics of projective and affine geometry in terms of line intersection
Results in Mathematics | 2004-10-28 | Paper |
Construction of hyperbolic geometry from the notion of line orthogonality
Acta Mathematica Hungarica | 2004-09-07 | Paper |
Early examples of resource-consciousness
Studia Logica | 2004-08-16 | Paper |
Why are surjective lineations of the Archimedean hyperbolic plane motions?
Acta Mathematica Hungarica | 2003-12-14 | Paper |
Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry
Forum Mathematicum | 2003-11-27 | Paper |
| scientific article; zbMATH DE number 1960339 (Why is no real title available?) | 2003-08-06 | Paper |
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
Synthese | 2003-04-27 | Paper |
Sperner spaces and first‐order logic
Mathematical Logic Quarterly | 2003-04-10 | Paper |
| On Definitions in an Infinitary Language | 2003-04-03 | Paper |
A UNIVERSAL AXIOM SYSTEM FOR SALOW'S GENERALIZED HALBDREHUNGSEBENEN
Demonstratio Mathematica | 2003-03-31 | Paper |
| scientific article; zbMATH DE number 1932164 (Why is no real title available?) | 2003-01-01 | Paper |
Mohr-Mascheroni as an axiomatizability statement
Bulletin of the Polish Academy of Sciences, Mathematics | 2002-09-25 | Paper |
A definitional view of Vogt's variant of the Mazur-Ulam theorem
(available as arXiv preprint) | 2002-09-16 | Paper |
On R. Baer's generalized hyperbolic planes
Publicationes Mathematicae Debrecen | 2002-02-13 | Paper |
Constructive axiomatization of plane hyperbolic geometry
Mathematical Logic Quarterly (MLQ) | 2002-01-24 | Paper |
| Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry | 2002-01-13 | Paper |
A methodologically pure proof of a convex geometry problem
Beiträge zur Algebra und Geometrie | 2001-11-18 | Paper |
A methodologically pure proof of a convex geometry problem
Beiträge zur Algebra und Geometrie | 2001-11-18 | Paper |
Fragments of Euclidean and hyperbolic geometry
Scientiae Mathematicae Japonicae | 2001-10-30 | Paper |
A logical look at characterizations of geometric transformations under mild hypotheses
Indagationes Mathematicae. New Series | 2001-06-28 | Paper |
A logical reading of the nonexistence of proper homomorphisms between affine spaces
Geometriae Dedicata | 2000-09-13 | Paper |
| Another Constructive Axiomatization of Euclidean Planes | 2000-09-05 | Paper |
Affine super-Pythagorean geometry
Beiträge zur Algebra und Geometrie | 2000-05-02 | Paper |
Affine super-Pythagorean geometry
Beiträge zur Algebra und Geometrie | 2000-05-02 | Paper |
On the constructive geometry of Euclidean planes
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | 2000-03-19 | Paper |
On the existence of a equilateral triangle in \(H\)-planes
Journal of Geometry | 2000-02-20 | Paper |
Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.
Indagationes Mathematicae. New Series | 2000-01-01 | Paper |
Euclidean superpythagorean geometry
Beiträge zur Algebra und Geometrie | 1999-07-05 | Paper |
Euclidean superpythagorean geometry
Beiträge zur Algebra und Geometrie | 1999-07-05 | Paper |
| scientific article; zbMATH DE number 1112294 (Why is no real title available?) | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 885314 (Why is no real title available?) | 1996-10-27 | Paper |
On a problem of H. N. Gupta
Geometriae Dedicata | 1996-08-05 | Paper |
Splitting the Pasch axiom
Journal of Geometry | 1996-08-05 | Paper |
On the extensiveness axiom for partial affine spaces
Journal of Geometry | 1996-01-01 | Paper |
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
Mathematical Logic Quarterly | 1995-12-18 | Paper |
| scientific article; zbMATH DE number 720249 (Why is no real title available?) | 1995-03-19 | Paper |
On the stepwise construction of the parallel postulate
Journal of Geometry | 1994-12-08 | Paper |
Ternary Operations as Primitive Notions for Constructive Plane Geometry V
Mathematical Logic Quarterly | 1994-12-08 | Paper |
Ternary operations as primitive notions for constructive plane geometry III
Mathematical Logic Quarterly | 1994-11-24 | Paper |
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
Mathematical Logic Quarterly | 1994-11-24 | Paper |
| scientific article; zbMATH DE number 56930 (Why is no real title available?) | 1992-09-27 | Paper |
Another Example of an Exotic Function
The American Mathematical Monthly | 1992-06-25 | Paper |
TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4205268 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4190559 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4146970 (Why is no real title available?) | 1989-01-01 | Paper |
Ternary Operations as Primitive Notions for Constructive Plane Geometry
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
Simplicity
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4030358 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3949165 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3940127 (Why is no real title available?) | 1985-01-01 | Paper |
Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie
Expositiones Mathematicae | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3886730 (Why is no real title available?) | 1984-01-01 | Paper |
