Hostname: page-component-848d4c4894-8kt4b Total loading time: 0 Render date: 2024-07-04T03:43:28.528Z Has data issue: false hasContentIssue false

Lattice embeddings into the recursively enumerable degrees

Published online by Cambridge University Press:  12 March 2014

K. Ambos-Spies
Affiliation:
Lehrstuhl Informatik II, Universität Dortmund, D-4600 Dortmund 50, West Germany
M. Lerman
Affiliation:
Department of Mathematics, University of Connecticut, Storrs, Connecticut 06268

Extract

The classification of algebraic structures which can be embedded into ℛ, the uppersemilattice of recursively enumerable degrees, is the key to answering certain questions about Th(ℛ), the elementary theory of ℛ. In particular, these classification problems are important for answering decidability questions about fragments of Th(ℛ). Thus the solutions of Fried berg [F] and Mučnik [M] to Post's problem were easily extended to show that all finite partially ordered sets are embeddable into ℛ, and hence that ∃1 ∩ Th(ℛ), the existential theory of ℛ, is decidable. (The language used is ℒ′, the pure predicate calculus together with a binary relation symbol ≤ to be interpreted as the ordering of ℛ) The problem of determining which finite lattices are embeddable into ℛ has been a long-standing open problem, and is one of the major obstacles to determining whether ∀2 ∩ Th(ℛ), the universal-existential theory of ℛ, is decidable. Shore has obtained some nice partial results in this direction. Embeddings also played a central role in showing that Th(ℛ) is not ℵ0-categorical (Lerman, Shore and Soare [LeShSo]), thus resolving a problem posed by Jockusch. Harrington and Shelah [HS] embedded all 0′-presentable partially ordered sets into ℛ in such a way that the partially ordered sets can be uniformly recovered from four parameters. They used these embeddings to show that Th(ℛ) is undecidable.

The first nontrivial extension of the embeddings of Friedberg and Mučnik to lattice embeddings was obtained independently by Lachlan [La1] and Yates [Y] who showed that the four-element Boolean algebra can be embedded into ℛ. Thomason [T] and Lerman independently extended this result to include all finite distributive lattices. The nondistributive case, however, was much more difficult. Lachlan [La2] embedded the two five-element nondistributive lattices M 5 and N 5 (see Figures 1 and 2) into ℛ, and his proof could easily have been extended to include a larger class of lattices.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1986

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

Research supported by National Science Foundation grants MCS 78-01849 and MCS 83-00560.

References

REFERENCES

[F] Friedberg, R. M., Two recursively enumerable sets of incomparable degrees of unsolvability, Proceedings of the National Academy of Sciences of the United States of America, vol. 43 (1957), pp. 236238.CrossRefGoogle ScholarPubMed
[HS] Harrington, L. and Shelah, S., The undecidability of the recursively enumerable degrees, Bulletin (New Series) of the American Mathematical Society, vol. 6 (1982), pp. 7980.CrossRefGoogle Scholar
[La1] Lachlan, A. H., Lower bounds for pairs of recursively enumerable degrees, Proceedings of the London Mathematical Society, ser. 3, vol. 16 (1966), pp. 537569.CrossRefGoogle Scholar
[La2] Lachlan, A. H., Embedding nondistributive lattices in the recursively enumerable degrees, Conference in mathematical logic–London 1970, Lecture Notes in Mathematics, vol. 255, Springer-Verlag, Berlin, 1972, pp. 149177.Google Scholar
[LaSo] Lachlan, A. H. and Soare, R. I., Not every finite lattice is embeddable in the recursively enumerable degrees, Advances in Mathematics, vol. 37 (1980), pp. 7482.CrossRefGoogle Scholar
[Le] Lerman, M., Automorphism bases for the semilattice of recursively enumerable degrees, Notices of the American Mathematical Society, vol. 24 (1977), p. A251 (abstract 77–E10).Google Scholar
[LeShSo] Lerman, M., Shore, R. A. and Soare, R. I., The elementary theory of the recursively enumerable degrees is not ℵ0-categorical, Advances in Mathematics, vol. 53 (1984), pp. 301320.CrossRefGoogle Scholar
[M] Mučnik, A. A., On the unsolvability of the problem of reducibility in the theory of algorithms, Doklady Akademii Nauk SSSR, vol. 108 (1956), pp. 194197. (Russian)Google Scholar
[T] Thomason, S. K., Sublattices of the recursively enumerable degrees, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 273280.CrossRefGoogle Scholar
[Y] Yates, C. E. M., A minimal pair of recursively enumerable degrees, this Journal, vol. 31 (1966), pp. 159168.Google Scholar