Michael Moses

MaRDI QIDQ190315zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The block relation in computable linear orders Notre Dame Journal of Formal Logic	2011-11-10	Paper
An undecidable linear order that is \(n\)-decidable for all \(n\) Notre Dame Journal of Formal Logic	2001-07-17	Paper
scientific article; zbMATH DE number 749934 (Why is no real title available?)	1995-05-01	Paper
The structure of the honest polynomial m-degrees Annals of Pure and Applied Logic	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 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1989-01-01	Paper
Decidable discrete linear orders Journal of Symbolic Logic	1988-01-01	Paper
Recursive categoricity and recursive stability Annals of Pure and Applied Logic	1986-01-01	Paper
Relations Intrinsically Recursive in Linear Orders Mathematical Logic Quarterly	1986-01-01	Paper
Recursive linear orders with recursive successivities Annals of Pure and Applied Logic	1984-01-01	Paper
Recursive properties of isomorphism types Bulletin of the Australian Mathematical Society	1984-01-01	Paper
scientific article; zbMATH DE number 3869317 (Why is no real title available?)	1983-01-01	Paper
Dispatching and Allocating Servers to Stochastically Failing Networks Management Science	1972-01-01	Paper

Research outcomes over time

This page was built for person: Michael Moses