EuDML | Browse

Page 1

Displaying 1 – 5 of 5

Tarski Geometry Axioms – Part II

Roland Coghetto, Adam Grabowski (2016)

Formalized Mathematics

In our earlier article [12], the first part of axioms of geometry proposed by Alfred Tarski [14] was formally introduced by means of Mizar proof assistant [9]. We defined a structure TarskiPlane with the following predicates: of betweenness between (a ternary relation), of congruence of segments equiv (quarternary relation), which satisfy the following properties: congruence symmetry (A1), congruence equivalence relation (A2), congruence identity (A3), segment construction (A4), SAS (A5), betweenness...

The geometry of null systems, Jordan algebras and von Staudt's theorem

Wolfgang Bertram (2003)

Annales de l’institut Fourier

We characterize an important class of generalized projective geometries $(X, X^{'})$ by the following essentially equivalent properties: (1) $(X, X^{'})$ admits a central null-system; (2) $(X, X^{'})$ admits inner polarities: (3) $(X, X^{'})$ is associated to a unital Jordan algebra. These geometries, called of the first kind, play in the category of generalized projective geometries a rôle comparable to the one of the projective line in the category of ordinary projective geometries. In this general set-up, we prove an analogue of von Staudt’s...

Displaying 1 – 5 of 5

Tarski Geometry Axioms – Part II

The geometry of null systems, Jordan algebras and von Staudt's theorem

Tits Geometries and Parabolic Systems in Finitely Generated Groups I.

To concept “middle" of affine planes.

Transfinite methods in geometry.

Currently displaying 1 – 5 of 5