| Publication | Date of Publication | Type |
|---|
| The parallel postulate | 2025-01-06 | Paper |
| The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 | 2024-06-25 | Paper |
| The single intuition of a move of time | 2024-03-07 | Paper |
| Why did Euclid not need the Pasch axiom? | 2024-02-26 | Paper |
| Two statements characterizing the Euclidean metric of a metric plane | 2022-12-14 | Paper |
| Varieties of Infiniteness in the Existence of Infinitely Many Primes | 2022-12-13 | Paper |
| A direct proof of the Steiner-Lehmus theorem | 2022-07-14 | Paper |
| The Case for the Irreducibility of Geometry to Algebra | 2022-04-22 | Paper |
| On a splitting of the parallel postulate | 2022-03-03 | Paper |
| The ubiquitous axiom | 2021-07-07 | Paper |
| Axiom systems implying infinity in the foundations of geometry | 2021-04-29 | Paper |
| Book review of: D. S. Richeson, Tales of impossibility. The 2000-year quest to solve the mathematical problems of antiquity | 2020-11-27 | Paper |
| The Axiomatic Destiny of the Theorems of Pappus and Desargues | 2020-10-23 | Paper |
| The geometry of point reflections and quasigroups | 2020-09-19 | Paper |
| Existence of special rainbow triangles in weak geometries | 2020-01-17 | Paper |
| The elementary Archimedean axiom in absolute geometry | 2019-12-09 | Paper |
| Prolegomena to any theory of proof simplicity | 2019-12-05 | Paper |
| Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom | 2019-11-07 | Paper |
| The Hajja-Martini inequality in a weak absolute geometry | 2019-07-08 | Paper |
| A theorem on equiareal triangles with a fixed base | 2019-05-28 | Paper |
| Euler's inequality in absolute geometry | 2018-05-30 | Paper |
| A problem in Pythagorean arithmetic | 2018-05-18 | Paper |
| Metric Geometries in an Axiomatic Perspective | 2018-03-13 | Paper |
| Negation-free and contradiction-free proof of the Steiner-Lehmus theorem | 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” | 2017-05-31 | Paper |
| Absolute geometry proofs of two geometric inequalities of Chisini | 2017-05-22 | Paper |
| Book review of: A. Imhausen, Mathematics in ancient Egypt. A contextual history | 2017-03-22 | Paper |
| Book review of: D. Reimer, Count like an Egyptian. A hands-on introduction to ancient mathematics | 2017-03-22 | Paper |
| Another equivalent of the Lotschnittaxiom | 2017-03-16 | Paper |
| An axiomatic look at the Erdős-Trost problem | 2017-02-02 | Paper |
| THE ARITHMETIC OF THE EVEN AND THE ODD | 2016-07-29 | Paper |
| The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries | 2016-05-25 | Paper |
| Aristotle's problem | 2015-10-16 | Paper |
| Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic | 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 | 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 | 2014-08-05 | Paper |
| An axiomatic look at a windmill | 2014-07-31 | Paper |
| The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X\)] | 2014-07-28 | Paper |
| On the simplicity of ordered geometry | 2013-06-13 | Paper |
| The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry | 2012-12-27 | Paper |
| Acute triangulation of a triangle in a general setting revisited | 2012-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3102222 | 2011-12-02 | Paper |
| Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry | 2011-10-18 | Paper |
| Paolo Pizzetti: the forgotten originator of triangle comparison geometry | 2011-07-19 | Paper |
| Another splitting of the Pasch axiom | 2011-06-22 | Paper |
| The simplest axiom system for plane hyperbolic geometry revisited | 2011-05-27 | Paper |
| The axiomatics of ordered geometry: I. Ordered incidence spaces | 2011-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3076670 | 2011-02-23 | Paper |
| Weakly ordered plane geometry | 2011-02-19 | Paper |
| Mappings preserving the area equality of hyperbolic triangles are motions | 2010-10-08 | Paper |
| Acute Triangulation of a Triangle in a General Setting | 2010-09-06 | Paper |
| On the equivalence of Lagrange's axiom to the Lotschnittaxiom | 2010-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190122 | 2010-03-12 | Paper |
| Forms of the Pasch axiom in ordered geometry | 2010-02-16 | Paper |
| A reverse analysis of the Sylvester-Gallai theorem | 2010-01-13 | Paper |
| The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\) | 2010-01-13 | Paper |
| On M. T. Calapso's characterization of the metric of an absolute plane | 2009-06-08 | Paper |
| Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃” | 2008-12-10 | Paper |
| Elementary versions of the Sylvester-Gallai theorem | 2008-09-22 | Paper |
| Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry | 2008-08-19 | Paper |
| The Erdős-Mordell inequality is equivalent to non-positive curvature | 2008-04-16 | Paper |
| Axiomatizing geometric constructions | 2008-04-07 | Paper |
| Alexandrov-Zeeman type theorems expressed in terms of definability | 2008-03-05 | Paper |
| The elementary geometry of a triangular world with hexagonal circles | 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 | 2007-09-18 | Paper |
| Point-reflections in metric plane | 2007-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437715 | 2007-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3432443 | 2007-04-16 | Paper |
| Positive definitions of segment congruence in terms of segment inequality | 2007-02-14 | Paper |
| Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry | 2006-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5489466 | 2006-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482811 | 2006-08-15 | Paper |
| Remarks, du côté de chez Tarski, on symmetric ternary relations | 2006-05-18 | Paper |
| Groups and plane geometry | 2006-03-17 | Paper |
| Three-dimensional hyperbolic geometry with planes and plane parallelism as only primitive notions | 2006-02-21 | Paper |
| Correction to ``Axiomatizations of hyperbolic geometry | 2005-12-12 | Paper |
| Euclidean geometry problems rephrased in terms of midpoints and point-reflections | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699063 | 2005-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694699 | 2005-10-04 | Paper |
| What is plane equiaffine geometry? | 2005-08-22 | Paper |
| The complexity of plane hyperbolic incidence geometry is ???? | 2005-06-01 | Paper |
| An axiom system for Lingenberg's metric-Euclidean planes | 2005-05-06 | Paper |
| The simplest axiom system for plane hyperbolic geometry | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3159141 | 2005-02-14 | Paper |
| Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. | 2005-01-03 | Paper |
| An Axiomatics for Hyperbolic Projective-Metric Planes in Terms of Lines and Orthogonality | 2004-11-29 | Paper |
| On the axiomatics of projective and affine geometry in terms of line intersection | 2004-10-28 | Paper |
| Construction of hyperbolic geometry from the notion of line orthogonality | 2004-09-07 | Paper |
| Early examples of resource-consciousness | 2004-08-16 | Paper |
| Why are surjective lineations of the Archimedean hyperbolic plane motions? | 2003-12-14 | Paper |
| Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry | 2003-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415435 | 2003-08-06 | Paper |
| Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity | 2003-04-27 | Paper |
| Sperner spaces and first‐order logic | 2003-04-10 | Paper |
| On Definitions in an Infinitary Language | 2003-04-03 | Paper |
| A UNIVERSAL AXIOM SYSTEM FOR SALOW'S GENERALIZED HALBDREHUNGSEBENEN | 2003-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709437 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770187 | 2002-09-25 | Paper |
| A definitional view of Vogt's variant of the Mazur-Ulam theorem | 2002-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770598 | 2002-02-13 | Paper |
| Constructive Axiomatization of Plane Hyperbolic Geometry | 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 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2731727 | 2001-10-30 | Paper |
| A logical look at characterizations of geometric transformations under mild hypotheses | 2001-06-28 | Paper |
| A logical reading of the nonexistence of proper homomorphisms between affine spaces | 2000-09-13 | Paper |
| Another Constructive Axiomatization of Euclidean Planes | 2000-09-05 | Paper |
| Affine super-Pythagorean geometry | 2000-05-02 | Paper |
| On the constructive geometry of Euclidean planes | 2000-03-19 | Paper |
| On the existence of a equilateral triangle in \(H\)-planes | 2000-02-20 | Paper |
| Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. | 2000-01-01 | Paper |
| Euclidean superpythagorean geometry | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373953 | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4880499 | 1996-10-27 | Paper |
| On a problem of H. N. Gupta | 1996-08-05 | Paper |
| Splitting the Pasch axiom | 1996-08-05 | Paper |
| On the extensiveness axiom for partial affine spaces | 1996-01-01 | Paper |
| Ternary Operations as Primitive Notions for Constructive Plane Geometry VI | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4322109 | 1995-03-19 | Paper |
| On the stepwise construction of the parallel postulate | 1994-12-08 | Paper |
| Ternary Operations as Primitive Notions for Constructive Plane Geometry V | 1994-12-08 | Paper |
| Ternary operations as primitive notions for constructive plane geometry III | 1994-11-24 | Paper |
| Ternary Operations as Primitive Notions for Constructive Plane Geometry IV | 1994-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005650 | 1992-09-27 | Paper |
| Another Example of an Exotic Function | 1992-06-25 | Paper |
| TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3353703 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3209745 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477582 | 1989-01-01 | Paper |
| Ternary Operations as Primitive Notions for Constructive Plane Geometry | 1989-01-01 | Paper |
| Simplicity | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771127 | 1987-01-01 | Paper |
| Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711250 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719385 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219447 | 1984-01-01 | Paper |
