Metamathematical discussion of some affine geometries

DOI10.4064/fm-104-3-155-192zbMath0497.03008OpenAlexW1021133317MaRDI QIDQ3960662

No author found.

Publication date: 1979

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211051

zbMATH Keywords

first-order theorycomplete extensionsbetweenness relation for three pointsconvex open subset of an affine plane constructed over a real-closed fieldgeneral affine two-dimensional geometry with the continuity schema

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65) Affine analytic geometry (51N10)

Related Items (8)

A Logic of East and West ⋮ Rational Region-Based Affine Logic of the Real Plane ⋮ A system of axioms for Minkowski spacetime ⋮ On a splitting of the parallel postulate ⋮ Three-dimensional affine spatial logics ⋮ From geometry to conceptual relativity ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ A portrait of Alfred Tarski

This page was built for publication: Metamathematical discussion of some affine geometries