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)