A logical reading of the nonexistence of proper homomorphisms between affine spaces (Q1580275)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logical reading of the nonexistence of proper homomorphisms between affine spaces |
scientific article |
Statements
A logical reading of the nonexistence of proper homomorphisms between affine spaces (English)
0 references
13 September 2000
0 references
In this short paper the author provides definitions of \(\neq\) and of non-collinearity by positive statements in terms of the ternary predicate of collinearity which are valid in affine \(n\)-dimensional geometry. This provides the intrinsic reason for the validity of V. Corbas' theorem stating that surjective maps between affine planes that preserve collinearity are isomorphisms, and of P. Maroscia's higher-dimensional generalization thereof.
0 references
affine geometry
0 references
definability
0 references
Lyndon's preservation theorem
0 references