Geodesic

Tome 20 (1981) no. 4

Sommaire

Basis for identities of a third-order matrix algebra over a
p. 365-388
Undecidability of regularly closed fields
p. 389-394
Decomposition of varieties
p. 395-418
Homomorphisms of freely generated projective planes
p. 419-426
Expressibility in the elementary theory of recursively
p. 427-439
Admissible rules for pretabular modal logics
p. 440-464
Standard components of type $F_{3}$
p. 465-482