Geodesic

Sommaire du Fascicule no. 1

Elementary properties of ordered Abelian groups
p. 5-39
Algebras of recursive functions
p. 41-56
Letter to the editor

Sommaire du Fascicule no. 2

Locally solvable groups of finite rank
p. 5-16
The algorithmic character of invariant properties of
p. 17-31
On the existence of non-recursive bases of finite automata
p. 33-44
Decidability of certain non-elementary theories
p. 45-47

Sommaire du Fascicule no. 3

Decidability of certain elementary theories
p. 5-12
On the realization of a relation in a topological group
p. 13-15
Decidability of the elementary theory of relatively complemented
p. 17-38
Some properties of algebras of recursive functions
p. 39-57
On an axiom system for a calculus of strict implication
p. 59-68

Sommaire du Fascicule no. 4

On the theory of computable families of objects
p. 5-31
Turing computers with logarithmic delay
p. 33-48
Central series and commutator series of matrix groups
p. 49-59

Sommaire du Fascicule no. 5

Some examples of rings without zero divisors
p. 5-28
On complexity of inference in phase-structure grammars
p. 29-44
The reduction-class $\forall \exists ^n\forall $
p. 45-55
On elementary theories of free nilpotent algebras
p. 57-63
The definition of arithmetic operations in the Ackermann model
p. 64-65