Geodesic

Volume 17 (1978) no. 2

Sommaire

Lattices with constraints for the sublattices
p. 127-133
Decidability of the $\forall \exists $-theory of a certain
p. 134-143
The axiom of comparable choice and uniformizability of
p. 144-168
Families of general recursive functions with a finite number
p. 169-177
Representations of the Galois group and of the
p. 178-180
Nil rings of type $(\gamma ,\,\delta )$
p. 181-200
The relation between the weak minimum condition and the
p. 201-209
A decidable noncompact extension of the logic ${\rm S}4$
p. 210-219
Differential identities of prime rings
p. 220-238