A Note on Effective Categoricity for Linear Orderings

Nikolay Bazhenov. A Note on Effective Categoricity for Linear Orderings. In T. V. Gopal, Gerhard Jäger, Silvia Steila, editors, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Volume 10185 of Lecture Notes in Computer Science, pages 85-96, 2017. [doi]

Abstract

Abstract is missing.