Michael Moses

According to our database1, Michael Moses authored at least 5 papers between 1984 and 2011.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
The Block Relation in Computable Linear Orders.
Notre Dame Journal of Formal Logic, 2011

1998
An Undecidable Linear Order That Is n-Decidable for All n.
Notre Dame Journal of Formal Logic, 1998

1988
Decidable Discrete Linear Orders.
J. Symb. Log., 1988

1986
Relations Intrinsically Recursive in Linear Orders.
Math. Log. Q., 1986

1984
Recursive linear orders with recursive successivities.
Ann. Pure Appl. Logic, 1984


  Loading...