Michael Moses

Available identifiers

zbMath Open moses.michael-fMaRDI QIDQ190315

List of research outcomes

Publication	Date of Publication	Type
The block relation in computable linear orders	2011-11-10	Paper
An undecidable linear order that is \(n\)-decidable for all \(n\)	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4764115	1995-05-01	Paper
The structure of the honest polynomial m-degrees	1995-01-09	Paper
Recursive Linear Orders with Incomplete Successivities	1992-06-25	Paper
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders	1989-01-01	Paper
Decidable discrete linear orders	1988-01-01	Paper
Recursive categoricity and recursive stability	1986-01-01	Paper
Relations Intrinsically Recursive in Linear Orders	1986-01-01	Paper
Recursive linear orders with recursive successivities	1984-01-01	Paper
Recursive properties of isomorphism types	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3337461	1983-01-01	Paper
Dispatching and Allocating Servers to Stochastically Failing Networks	1972-01-01	Paper

Research outcomes over time

This page was built for person: Michael Moses