Michael Moses

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Michael Moses
The Block Relation in Computable Linear Orders. Notre Dame J. Formal Log. 52 (3) (2011)
John Chisholm, Michael Moses
An Undecidable Linear Order That Is n-Decidable for All n. Notre Dame J. Formal Log. 39 (4) (1998)
Michael Moses
Decidable Discrete Linear Orders. J. Symb. Log. 53 (2) (1988)
Michael Moses
Relations Intrinsically Recursive in Linear Orders. Math. Log. Q. 32 (25-30) (1986)
Michael Moses
Recursive linear orders with recursive successivities. Ann. Pure Appl. Log. 27 (3) (1984)