The following pages link to Michael Moses (Q190315):
Displaying 13 items.
- The block relation in computable linear orders (Q645746) (← links)
- Recursive linear orders with recursive successivities (Q1062051) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- The structure of the honest polynomial m-degrees (Q1341316) (← links)
- Recursive properties of isomorphism types (Q3313855) (← links)
- (Q3337461) (← links)
- Relations Intrinsically Recursive in Linear Orders (Q3712322) (← links)
- On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders (Q3800020) (← links)
- Decidable discrete linear orders (Q3807188) (← links)
- Recursive Linear Orders with Incomplete Successivities (Q3977226) (← links)
- (Q4764115) (← links)
- Dispatching and Allocating Servers to Stochastically Failing Networks (Q5639541) (← links)
- An undecidable linear order that is \(n\)-decidable for all \(n\) (Q5937834) (← links)