Michael
F Moses
Associate
Professor
202-994-1629
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)