Michael F Moses


Associate Professor

Department of Mathematics


219 Hall of Government







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)