Recursive linear orders with recursive successivities. - Michael Moses (Ann. Pure Appl. Log., 1984)

Relations Intrinsically Recursive in Linear Orders. - Michael Moses (Math. Log. Q., 1986)

Decidable Discrete Linear Orders. - Michael Moses (J. Symb. Log., 1988)

An Undecidable Linear Order That Is n-Decidable for All n. - John Chisholm; Michael Moses (Notre Dame J. Formal Log., 1998)

The Block Relation in Computable Linear Orders. - Michael Moses (Notre Dame J. Formal Log., 2011)