2024/05/06 by John T. Baldwin, Baldwin, John T.
Social Sciences · #03:03 (51:02) #Digital Games and Media #FOS: Mathematics #Metric Geometry (math.MG)
paper · pdf · doi:10.48550/arxiv.2405.03461
openalex publication_date 2024/05/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a number of 20th century approaches to synthetic geometry. In doing so, we disambiguate (in the Wikipedia sense) the terms: metric, orthogonal, isotropic and hyperbolic. With some of these systems we are able to axiomatize `affine geometry' over the complex field (The argument is trivial from [Wu94] or [Szm78], but not remarked by either of them.). We examine the general question of the connections between axioms for Affine geometries and the stability classification of associated complete first order theories of fields. We conclude with reminiscences of a half-century friendship with Janós.