Computability and uncountable Linear Orders I: Computable Categoricity

Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky. Computability and uncountable Linear Orders I: Computable Categoricity. Journal of Symbolic Logic, 80(1):116-144, 2015. [doi]

Abstract

Abstract is missing.