TY - JOUR AU - P. E. Alaev AU - J. Thurber AU - A. N. Frolov TI - Computability on linear orderings enriched with predicates JO - Algebra i logika PY - 2009 SP - 549 EP - 563 VL - 48 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2009_48_5_a0/ LA - ru ID - AL_2009_48_5_a0 ER -