Geodesic

Volume 15 (1976) no. 2

Sommaire

Imbeddings into simple associative algebras
p. 117-142
Varieties of generalized standard and generalized accessible
p. 143-167
The principle of separation of variables in propositional logics
p. 168-184
Hereditarily finitely axiomatizable extensions of the logic S4
p. 185-204
The numerations of families of general recursive functions
p. 205-226
Undecidable universal theories of lattices of subgroups of abelian
p. 227-234
Central simple Mal'cev algebras
p. 235-242