Sciweavers

100
Voted
NDJFL
1998
81views more  NDJFL 1998»
15 years 2 days ago
An Undecidable Linear Order That Is n-Decidable for All n
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
John Chisholm, Michael Moses