Let L be a quasidiscrete linear ordering. We specify some conditions for the existence of a computable presentation for L or for the structure (L, adj), where adj(x, y) is a predicate distinguishing adjacent elements.
Similar content being viewed by others
References
R. G. Downey and C. G. Jockush, “Every low Boolean algebra is isomorphic to a recursive one,” Proc. Am. Math. Soc., 122, No. 3, 871–880 (1994).
J. J. Thurber, “Every low 2 Boolean algebra has a recursive copy,” Proc. Am. Math. Soc., 123, No. 12, 3859–3866 (1995).
J. F. Knight and M. Stob, “Computable Boolean algebras,” J. Symb. Log., 65, No. 4, 1605–1623 (2000).
A. N. Frolov, “Δ 02 -copies of linear orderings,” Algebra Logika, 45, No. 3, 354–370 (2006).
L. Feiner, “Hierarchies of Boolean algebras,” J. Symb. Log., 35, No. 3, 365–374 (1971).
R. Watnick, “A generalization of Tennenbaum’s theorem on effectively finite recursive linear orderings,” J. Symb. Log., 49, No. 2, 563–569 (1984).
C. J. Ash, C. Jockusch, and J. F. Knight, “Jumps of orderings,” Trans. Am. Math. Soc., 319, No. 2, 573–599 (1990).
C. J. Ash, “A construction for recursive linear orderings,” J. Symb. Log., 56, No. 2, 673–683 (1991).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 48, No. 5, pp. 549–563, September–October, 2009.
Supported by RFBR (project No. 08-01-00336), by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-335.2008.1), and by the Grants Council (under RF President) for State Aid of Young Doctors of Science (project MD-3377.2008.1).
Rights and permissions
About this article
Cite this article
Alaev, P.E., Thurber, J. & Frolov, A.N. Computability on linear orderings enriched with predicates. Algebra Logic 48, 313–320 (2009). https://doi.org/10.1007/s10469-009-9067-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-009-9067-8