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]

Authors

Manuel Lerman

This author has not been identified. Look up 'Manuel Lerman' in Google

Richard Watnick

This author has not been identified. Look up 'Richard Watnick' in Google