Geodesic

Sommaire du Fascicule no. 1

The effective non-separability of the set of identically true
p. 5-18
The calculation of effective operators on Turing machines with
p. 19-23
On the frequency computability of functions
p. 25-32
Remark on a theorem of Hao Wang
p. 33-35
Universal equivalence of ordered Abelian groups
p. 37-39

Sommaire du Fascicule no. 2

Totally enumerated sets
p. 4-29
Classification of ordered Abelian groups by their elementary
p. 31-46
Operations on sets
p. 47-56

Sommaire du Fascicule no. 3

On the recognition of replaceability in recursive languages
p. 5-22
Decidability of the elementary theory of sphere inclusion
p. 23-27
Undecidability of elementary theories of certain classes of finite
p. 29-51

Sommaire du Fascicule no. 4

Undecidability of the elementary theory of the field of rational
p. 5-11
A basis for free polynilpotent Lie algebras
p. 13-19
Binary Lie algebras of lower ranks
p. 21-40
Alternative algebras of rank 3 and 4
p. 41-46
Undecidability of the general problems of completeness,
p. 47-66

Sommaire du Fascicule no. 5

On certain near-Engel groups
p. 5-18
On generalized solvable groups
p. 19-28
On the theory of generalized solvable and generalized nilpotent
p. 29-36
Undecidability of certain theories
p. 37-41
Grammars with linear memory
p. 43-55

Sommaire du Fascicule no. 6

Orderable groups. I
p. 5-14
On the theory of orderable groups
p. 15-20
Semi-injective modules
p. 21-50