@article{AL_1973_12_2_a6, author = {M. G. Peretyat'kin}, title = {Every recursively enumerable extension of a theory of linear order}, journal = {Algebra i logika}, pages = {211--219}, publisher = {mathdoc}, volume = {12}, number = {2}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1973_12_2_a6/} }