Abstract
The main purpose of this paper is to answer a question raised by Grigorieff in [4]. In [4], Grigorieff proved that every infinite recursive linear ordering L is isomorphic to realtime linear ordering L′ whose universe is the binary representation of the natural numbers. Grigorieff’s proof involved two steps. First he showed that if a recursive linear ordering Lhas the property that Lhas a recursive sequence S = s 0 <L s < L … such that either S cofinal in L or S has a supremum in L or L has recursive sequence U = u 0 > L u 1 > L … such that U is coinitial in L or U has an infimum in L, then Lis recursively isomorphic to a realtime linear ordering L′ whose universe is the binary representation of the natural numbers.
Partially supported by NSF grant DMS-87-02473.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cenzer, D. and Remmel, J., Polynomial time versus recursive models, preprint.
Dehornoy, P., Turing complexity of ordinals, Information Processing Letters, 23 (1986), 167 - 170.
Goncharov, S. S. and Dzgoez, V. D., Autostability of models, Algebra i Logika, 19 (1980), 28 - 37.
Grigorieff, S., Every recursive linear ordering has a copy in dtime (77), preprint.
Hopcroft, J. E. and Ullman, J. D., Introduction to Automata Theory, Languages and Computation, Addison-Wesley Pub. Co., Reading, Mass. (1979).
Remmel, J. B., Recursively categorical linear orderings, Proc. Amer. Math. Soc. 83 (1981), 387 - 391.
Remmel, J. B., Polynomial time categorical linear orderings, preprint.
Remmel, J. B., Every recursive Boolean algebra is isomorphic to a polynomial time Boolean algebra, in preparation.
Remmel, J. B., Polynomial time categorical Boolean algebras, in preparation.
Rosenstein, J. G., Linear Orderings, Academic Press, (1982).
Soare, R. I., Recursively Enumerable Sets and Degrees, Springer-Verlag, Berlin-Heidleberg-New York, (1987).
Watnick, R., A generalization of Tennenbaum’s theorem on effectively finite recursive linear orderings, J. Sym. Logic, 49 (1984), 563 - 569.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Birkhäuser Boston
About this chapter
Cite this chapter
Remmel, J.B. (1990). When is every recursive linear ordering of type μ recursively isomorphic to a polynomial time linear ordering over the natural numbers in binary form?. In: Buss, S.R., Scott, P.J. (eds) Feasible Mathematics. Progress in Computer Science and Applied Logic, vol 9. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-3466-1_18
Download citation
DOI: https://doi.org/10.1007/978-1-4612-3466-1_18
Publisher Name: Birkhäuser Boston
Print ISBN: 978-0-8176-3483-4
Online ISBN: 978-1-4612-3466-1
eBook Packages: Springer Book Archive