@article{AL_2009_48_5_a1, author = {M. V. Zubkov}, title = {Initial segments of computable linear orders with additional computable predicates}, journal = {Algebra i logika}, pages = {564--579}, publisher = {mathdoc}, volume = {48}, number = {5}, year = {2009}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_2009_48_5_a1/} }