Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)

zbMath0624.51011MaRDI QIDQ578586

Eberhard M. Schroeder

Publication date: 1986

Published in: Mathematische Semesterberichte (Search for Journal in Brave)

zbMATH Keywords

independenceaxiom system``complete Euclidean space of dimension three

Mathematics Subject Classification ID

Absolute spaces in metric geometry (51F10) Euclidean geometries (general) and generalizations (51M05) Analytic and descriptive geometry (51N99)

Related Items

A programmed algorithm for existence proofs for two-point boundary value problems ⋮ Computer-assisted existence proofs for two-point boundary value problems