Geodesic

Volume 12 (1973) no. 2

Sommaire

Constructive models of complete decidable theories
p. 125-142
$tt$- and $m$-degrees
p. 143-161
An example of a solvable but not nilpotent $(-1,1)$-ring
p. 162-166
The upper semilattice $L(\gamma )$
p. 167-189
btt-reducibility.~I
p. 190-204
Undecidability of fields of rational functions over fields of
p. 205-210
Every recursively enumerable extension of a theory of linear order
p. 211-219
Certain questions on generalized computability
p. 220-231
Certain algorithmic questions for metabelian groups
p. 232-240