Embedding lattices in the Kleene degrees

• Autorzy: Hisato Muraki
• Języki publikacji: EN

Abstrakty

EN

Under ZFC+CH, we prove that some lattices whose cardinalities do not exceed $ℵ_1$ can be embedded in some local structures of Kleene degrees.

Kategorie tematyczne

• 03D65: Higher-type and set recursion theory
• 03D30: Other degrees and reducibilities

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 1999
• Tom: 162
• Numer: 1
• Strony: 47-64

Daty

wydano

1999

otrzymano

1998-05-02

poprawiono

1999-05-18

Twórcy

autor

Hisato Muraki

• Department of Mathematics, Nagoya University, Chikusa-ku, Nagoya 464-8602, Japan

Bibliografia

• [1] K. J. Devlin, Constructibility, Springer, 1984.
• [2] K. Hrbáček, On the complexity of analytic sets, Z. Math. Logik Grundlag. Math. 24 (1978), 419-425.
• [3] M. Lerman, Degrees of Unsolvability, Springer, 1983.
• [4] H. Muraki, Local density of Kleene degrees, Math. Logic Quart. 43 (1995), 183-189.
• [5] H. Muraki, Non-distributive upper semilattice of Kleene degrees, J. Symbolic Logic 64 (1999), 147-158.
• [6] R. A. Shore and T. A. Slaman, The p-T degrees of the recursive sets: lattice embeddings, extensions of embeddings and the two-quantifier theory, Theoret. Comput. Sci. 97 (1992), 263-284.
• [7] R. Solovay, Determinacy and type 2 recursion (abstract), J. Symbolic Logic 36 (1971), 374.
• [8] G. Weitkamp, Kleene recursion over the continuum, Ph.D. Thesis, Pennsylvania State Univ., 1980.