Geodesic

Tome 39 (2000) no. 2

Sommaire

Yurii Leonidovich Ershov (on his 60th birthday)
p. 125-126
Decidability boundaries of some classes of nilpotent and solvable groups
p. 127-133
Once again on the Higman question
p. 134-144
Primitively connected theories
p. 145-169
On the computability over models of decidable theories
p. 170-197
Autostability of hyperarithmetic models
p. 198-205
Independent bases for admissible rules in pretable logics
p. 206-226
On universally equivalent solvable groups
p. 227-240
Sessions of the seminar “Algebra i Logika”
p. 241-242