On the Complexity of the Successivity Relation in Computable linear Orderings

Rod Downey, Steffen Lempp, Guohua Wu. On the Complexity of the Successivity Relation in Computable linear Orderings. J. Mathematical Logic, 10(1-2), 2010. [doi]

Abstract

Abstract is missing.