Geodesic

Limit equivalent constructivizations
p. 4-12
Construction of lattices of quasivarieties
p. 12-44
The Lyndon interpolation theorem in modal logics
p. 45-55
Classification of power nilpotent groups by elementary properties
p. 56-87
Finitely axiomatizable totally transcendental theories
p. 88-135
Index sets in the Kleene--Mostowski hierarchy
p. 135-158
On the theory of program synthesis
p. 159-175
Замеченные опечатки