Computable choice functions for computable linear orderings

Manuel Lerman, Richard Watnick. Computable choice functions for computable linear orderings. Math. Log. Q., 49(5):485-510, 2003. [doi]

Abstract

Abstract is missing.