A universal algebra approach to free projective planes.
The construction of any finite translation plane depends on the appropriate determination of a partition of a Galois field , together with a set of automorphisms of as a vector space. In this paper we obtain sufficient conditions on and , so that a translation plane is produced. They are also necessary conditions when . Particularly, we examine the case where is a two-dimensional vector space. We prove that no translation planes are constructible by a single automorphism, other than...
We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.