%0 Journal Article %A N. K. Vereshchagin %T New proof of the solvability of the elementary theory of linearly ordered sets %J Matematičeskie zametki %D 1990 %P 31-38 %V 47 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_1990_47_5_a4/ %G ru %F MZM_1990_47_5_a4