sp-Homogeneous Linear Orderings

Wesley Calvert, Douglas Cenzer, David Gonzalez +2

We study linear orderings expanded by functions for successor and predecessor. The successor and predecessor on linear orderings capture the relatively intrinsically computably enu…