Recursively categorical linear orderings. (English) Zbl 0493.03022


03D45 Theory of numerations, effectively presented structures
06A05 Total orders
Full Text: DOI


[1] C. J. Ash and A. Nerode, Intrinsically recursive relations, Aspects of effective algebra (Clayton, 1979) Upside Down A Book Co., Yarra Glen, Vic., 1981, pp. 26 – 41. · Zbl 0467.03041
[2] S. S. Gončarov, Certain properties of the constructivization of Boolean algebras, Sibirsk. Mat. Ž. 16 (1975), 264 – 278, 420. (loose errata) (Russian).
[3] A. I. Mal\(^{\prime}\)cev, On recursive Abelian groups, Dokl. Akad. Nauk SSSR 146 (1962), 1009 – 1012 (Russian).
[4] A. B. Manaster and J. B. Remmel, Recursively categorical decidable dense two dimensional partial orderings (to appear). · Zbl 0486.03010
[5] P. E. LaRoche, Recursively presented Boolean algebras, Notices Amer. Math. Soc. 24 (1977), A-552.
[6] A. T. Nurtazin, Strong and weak constructivizations and computable families, Algebra and Logic 13 (1975), 177-184. · Zbl 0305.02061
[7] J. B. Remmel, Recursive isomorphisms of recursive Boolean algebras, J. Symbolic Logic (to appear). · Zbl 0543.03031
[8] -, Recursive Boolean algebras with recursive sets of atoms, J. Symbolic Logic (to appear). · Zbl 0543.03032
[9] -, Recursive isomorphisms of recursive Boolean algebras and atomic elements (in preparation).
[10] R. L. Smith, Two theorems on autostability in \( p\)-groups (Proc. Conf. Math. Logic, Univ. Connecticut), Lecture Notes in Math, (to appear). · Zbl 0488.03024
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.