II.D71 — Stage-Finite Euclidean Geometry

Geometric structure of tau^3 determined by stage spaces Z/P_k Z (finite cyclic groups with positive-definite cyclic metric), stage-k Tarski axioms, and profinite limit preserving Euclidean geometry. Discretely Euclidean at every finite stage, profinitely Euclidean in the limit.