Metamathematical discussion of some affine geometries (Q3960662)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Metamathematical discussion of some affine geometries |
scientific article |
Statements
Metamathematical discussion of some affine geometries (English)
0 references
1979
0 references
first-order theory
0 references
betweenness relation for three points
0 references
general affine two-dimensional geometry with the continuity schema
0 references
convex open subset of an affine plane constructed over a real-closed field
0 references
complete extensions
0 references
