Michael F Moses

 

Associate Professor

Department of Mathematics

 

219 Hall of Government

202-994-1629

moses@gwu.edu

 

 

 

 

Selected publications:

     Recursive Linear Orders with Recursive Successivities

     Relations Intrinsically Recursive in Linear Orders

     On Choice Sets & Strongly Non-Trivial Self-Embeddings (with R. Downey)

     Recursive Linear Orders with Incomplete Successivities (with R. Downey)

     An Undecidable Linear Order that is n-Decidable for all n (with J. Chisholm)

 

 

Works in progress:

     The Block Relation in Computable Linear Orders (accepted for publication by the Notre Dame Journal of Formal Logic)